@Article{	  baudixfurschsto95,
  author	= "P.~Baumgartner and J.~Dix and U.~Furbach and
		  D.~Sch{\"{a}}fer and F.~Stolzenburg",
  title		= "Deduktion und {L}ogisches {P}rogrammieren",
  optcrossref	= "",
  optkey	= "",
  journal	= "KI",
  year		= "1996",
  volume	= "2",
  optnumber	= "",
  pages		= "34--39",
  optmonth	= "",
  optannote	= ""
}