1. K.H. Bläsius: Equality Reasoning in Clause Graphs. Proc. UCAI, 936–939, 1983
2. K.H. Blasius: Equality Reasoning with Equality-paths. Proc. German Workshop on Artificial Intelligence, 1985
3. K.H. Bläsius: Construction of Equality Graphs. SEKI-Report SR-86–01, Fachbereich Informatik, Universität Kaiserslautern, 1986
4. D. Brand: Proving Theorems with the Modification Method. SIAM Journal of Comp., vol 4, No. 4, 1975
5. A. Bundy: The Computer Modelling of Mathematical Reasoning. Academic Press, London, 1983