@techreport{Niemela:FB96NR6,
author = {Ilkka Niemel{\"a}},
institution = {Universit{\"a}t Koblenz-Landau},
note = {Available at \url{http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/}},
number = {6--96},
title = {Implementing Circumscription Using a Tableau Method},
type = {Fach\-be\-richt Informatik},
year = {1996},
}