Jürgen Müller, Rolf Socher-Ambrosius. On the Unnecessity of Multiple Overlaps in Completion Theorem Proving. In Wolfgang Hoeppner, editor, Künstliche Intelligenz, GWAI-88, 12. Jahrestagung, Eringerfeld, 19.-23. September 1988, Proceedings. Volume 181 of Informatik-Fachberichte, pages 169-178, Springer, 1988.
Abstract is missing.