@InProceedings{	  bradix94,
  author	= {Brass, Stefan and Dix, J{\"u}rgen},
  title		= "A Disjunctive Semantics Based on Unfolding and Bottom-Up
		  Evaluation",
  year		= 1994,
  editor	= "Wolfinger, Bernd",
  booktitle	= "Innovationen bei Rechen- und Kommunikationssystemen, {\em
		  (IFIP '94-Congress, Workshop FG2: Disjunctive Logic
		  Programming and Disjunctive Databases)\/}",
  publisher	= {Springer},
  address	= {Berlin},
  pages		= "83--91"
}