1. Anantharaman, D.; Andrianarievelo, N.: Heuristical criteria in refutational theorem proving, Proc. DISCO '90, LNCS 429, 1990, pp. 184–193.
2. Avenhaus, J.; Denzinger, J.: Distributing equational theorem proving, Proc. 5th RTA, Montreal, LNCS 690, 1993, pp. 62–76.
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. Bonacina, M.P.; Hsiang, J.: The clause diffusion methodology for distributed deduction, Proc. DISCO '92, LNCS 722, 1993, pp. 272–287.
5. Bläsius, K.H.: Equality reasoning based on graphs, Ph.D. thesis, University of Kaiserslautern, 1986.