1. Avenhaus, J.; Denzinger, J.: Distributing Equational Theorem Proving, Proc. 5th RTA, Montreal, LNCS 690, pp. 62–76, 1993; also available as SEKI-Report SR-93-06, University of Kaiserslautern, 1993.
2. Avenhaus, J.; Denzinger, J.; Fuchs, M.: DISCOUNT: A System For Distributed Equational Deduction, Proc. 6th RTA, Kaiserslautern, LNCS 914, pp. 397–402, 1995.
3. Bachmair, L.; Dershowitz, N.; Plaisted, D.A.: Completion Without Failure, Coll. on the Resolution of Equations in Algebraic Structures, Austin (1987), Academic Press, 1989.
4. Dahn, B.I.; Gehne, J.; Honigmann, T.; Walther, L.; Wolf, A.: Integrating logical Functions with ILF, Internal report, Institut für Reine Mathematik, Humbold-University, Berlin, 1994.
5. Denzinger, J.: Knowledge-Based Distributed Search Using Teamwork, Proc. ICMAS-95, San Francisco, AAAI Press, pp. 81–88, 1995.