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},
}