@InProceedings{	  dixmue92,
  author	= {J\"{u}rgen Dix and Martin M\"{u}ller},
  title		= {{A}bstract {P}roperties and {C}omputational {C}omplexity
		  of {S}emantics for {D}isjunctive {L}ogic {P}rograms},
  booktitle	= {Proc. of the Workshop W1, Structural Complexity and
		  Recursion-theoretic Methods in Logic Programming, following
		  the JICSLP '92},
  year		= {1992},
  pages		= {15--28},
  publisher	= {H. Blair and W. Marek and A. Nerode and J. Remmel},
  month		= {November},
  note		= {also available as Technical Report 13/93, University of
		  Koblenz, Department of Computer Science}
}