Peter Baumgartner Ingo Dahn Jürgen Dix Ulrich Furbach Michael Kühn Frieder Stolzenburg Bernd Thomas Automated Deduction: a Technological Point of View. 7-14 1998 12 KI 4 db/journals/ki/ki1998.html#BaumgartnerDDFKST98