@Article{	  dixfur96,
  author	= "J.~Dix and U.~Furbach",
  title		= "Logisches {P}rogrammieren mit {N}egation und
		  {D}isjunktion",
  optcrossref	= "",
  optkey	= "",
  journal	= "KI",
  year		= "1996",
  volume	= "3",
  optnumber	= "",
  pages		= "24--31",
  optmonth	= "",
  optannote	= "",
  note		= "Special Issue on Logic Programming"
}