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