@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 = "" }