@InCollection{	  bradixnieprz97dutch,
  author	= {Stefan Brass and J\"{u}rgen Dix and Ilkka Niemel\"{a} and
		  Teodor.~C.~Przymusinski},
  title		= {{C}omparison and {E}fficient {C}omputation of the {S}tatic
		  and the {D}isjunctive {W}{F}{S}},
  booktitle	= {Proceedings of the third {D}utch-{G}erman {W}orkshop on
		  {N}onmonotonic {R}easoning and its {A}pplications},
  editor	= {Gerd Brewka and Emil Weydert and Cees Witteveen},
  pages		= {37--42},
  year		= {1997},
  month		= {February},
  publisher	= {Max Planck Institute for Computer Science,
		  Saarbr\"{u}cken},
  note		= {appeared also as TR 2/96}
}