@InProceedings{ bradixnieprz98kr, author = {Stefan Brass and J\"{u}rgen Dix and Ilkka Niemel\"{a} and Teodor.~C.~Przymusinski}, title = {A {C}omparison of the {S}tatic and the {D}isjunctive {W}ell-founded {S}emantics and its {I}mplementation}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98)}, editor = {A.~G.~Cohn and L.~K.~Schubert and S.~C.~Shapiro}, year = {1998}, pages = {74--85}, publisher = {Morgan Kaufmann}, organization = {San Francisco, CA}, month = {May}, note = {appeared also as TR 17/97, University of Koblenz} }