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