Topics in completion theorem proving - Müller, Jürgen; Socher, Rolf (Artificial Intelligence Laboratories, Fachbereich Informatik, Univ. Kaiserslautern, 1988)