@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}
}