1. R. Anderson: Completeness results for E-resolution, Proc. Spring Joint Conf., 653–656, 1970
2. K.H. Bläsius, N. Eisinger, J. Siekmann, G. Smolka, A. Herold, C. Walther: The Markgraf Karl Refutation Procedure, Proc. IJCAI, 511–518, 1981
3. K.H. Bläsius: Equality Reasoning in Clause Graphs, Proc. IJCAI, 936–939, 1983
4. K.H. Bläsius: Against the ‘Anti Waltz Effect’ in Equality Reasoning, Proc. German Workshop on Artificial Intelligence, Informatik-Fachberichte 124, Springer, 230–241, 1986
5. K.H. Bläsius: Equality Reasoning Based on Graphs, SEKI-REPORT SR-87-01 (Ph.D. thesis), Fachbereich Informatik, Universität Kaiserslautern, 1987