@InProceedings{	  dix91classifying,
  author	= {J\"{u}rgen Dix},
  title		= {{C}lassifying {S}emantics of {L}ogic {P}rograms},
  booktitle	= {Logic Programming and Non-Monotonic Reasoning, Proceedings
		  of the first International Workshop },
  year		= {1991},
  editor	= {Anil Nerode and Wiktor Marek and V.S.~Subrahmanian},
  pages		= {166--180},
  organization	= {Washington D.C },
  publisher	= {MIT Press},
  address	= {Cambridge, Mass.},
  month		= {July}
}