@Article{	  baudixfurschsto98,
  author	= {P.~Baumgartner and I. Dahn and J.~Dix and U.~Furbach and
		  M.~K\"{u}hn and F.~Stolzenburg and B.~Thomas},
  title		= "Automated Deduction: A technological point of view",
  optcrossref	= "",
  optkey	= "",
  journal	= "KI",
  year		= "1998",
  volume	= "4",
  optnumber	= "",
  pages		= "7--14",
  optmonth	= "",
  optannote	= ""
}