@InProceedings{	  dixmue93implementing,
  author	= {J\"{u}rgen Dix and Martin M\"{u}ller},
  title		= {{I}mplementing {S}emantics for {D}isjunctive {L}ogic
		  {P}rograms {U}sing {F}ringes and {A}bstract {P}roperties},
  booktitle	= {Logic Programming and Non-Monotonic Reasoning, Proceedings
		  of the Second International Workshop },
  year		= {1993},
  editor	= {Luis Moniz Pereira and Anil Nerode},
  pages		= {43--59},
  organization	= {Lisbon },
  publisher	= {MIT Press},
  address	= {Cambridge, Mass.},
  month		= {July}
}