TCS / Research / Publications / A Tableau Calculus for Minimal Model Reasoning
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

A Tableau Calculus for Minimal Model Reasoning

Reference:

Ilkka Niemelä. A tableau calculus for minimal model reasoning. In Proceedings of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pages 278–294, Terrasini, Italy, May 1996. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{Niemela96:tab,
    address = {Terrasini, Italy},
    author = {Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods},
    month = {May},
    pages = {278--294},
    publisher = {Springer-Verlag},
    title = {A Tableau Calculus for Minimal Model Reasoning},
    year = {1996},
}

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.