@InProceedings{	  dixmue93an,
  author	= {J\"{u}rgen Dix and Martin M\"{u}ller},
  title		= {{A}n {A}xiomatic {F}ramework for {R}epresenting and
		  {C}haracterizing {S}emantics of {D}isjunctive {L}ogic
		  {P}rograms},
  booktitle	= {Proceedings of the 11th Int. Conf. on Logic Programming,
		  S. Margherita Ligure},
  year		= {1994},
  pages		= {303--322},
  editor	= {Pascal Van Hentenryck},
  publisher	= {MIT},
  month		= {June}
}