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.
@inproceedings{MullerS88,
title = {On the Unnecessity of Multiple Overlaps in Completion Theorem Proving},
author = {Jürgen Müller and Rolf Socher-Ambrosius},
year = {1988},
researchr = {https://researchr.org/publication/MullerS88},
cites = {0},
citedby = {0},
pages = {169-178},
booktitle = {Künstliche Intelligenz, GWAI-88, 12. Jahrestagung, Eringerfeld, 19.-23. September 1988, Proceedings},
editor = {Wolfgang Hoeppner},
volume = {181},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-50293-9},
}