@techreport{
    Niemela:FB96NR5,
    author = {Niemel{\"a}, Ilkka},
    title = "A Tableau Calculus for Minimal Model Reasoning",
    number = "5--96",
    note = "Available at \url{http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/}",
    year = "1996",
    type = "Fach\-be\-richt Informatik",
    institution = {Universit{\"a}t Koblenz-Landau}
}