@techreport{
    Niemela:FB96NR6,
    author = {Niemel{\"a}, Ilkka},
    title = "Implementing Circumscription Using a Tableau Method",
    number = "6--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}
}