1. Avenhaus, J.; Denzinger, J.: Distributing equational theorem proving, Proc. 5th RTA, Montreal, LNCS 690, 1993, pp. 62–76.
2. Bachmair, L.; Dershowitz, N.; Plaisted, D.A.: Completion without Failure, Coll. on the Resolution of Equations in Algebraic Structures, Austin (1987), Academic Press, 1989.
3. Bonacina, M.P.; Hsiang, J.: The clause-diffusion methodology for distributed deduction, Fundamenta Informaticae, Special issue on term rewriting systems, D.A. Plaisted (ed.), in press
4. Denzinger, J.: Teamwork: A method to design distributed knowledge based theorem provers (in German), Ph.D. thesis, University of Kaiserslautern, 1993.
5. Denzinger, J.; Fuchs, M.: Goal oriented equational theorem proving using teamwork, Proc. 18th KI-94, Saarbrücken, LNAI 861, 1994, pp. 343–354; also available as SEKI-Report SR-94-04, University of Kaiserslautern, 1994.