@InProceedings{	  dix92classifyingdisjunctive,
  author	= {J\"{u}rgen Dix},
  title		= {{C}lassifying {S}emantics of {D}isjunctive {L}ogic
		  {P}rograms},
  booktitle	= {LOGIC PROGRAMMING: Proceedings of the 1992 Joint
		  International Conference and Symposium},
  year		= {1992},
  editor	= {K. R. Apt},
  pages		= {798--812},
  publisher	= {MIT Press},
  address	= {Cambridge, Mass.},
  month		= {November}
}