Formalized Ground Completion

Aart Middeldorp, Christian Sternagel
Proceedings of the 6th International Workshop on Confluence (IWC 2017),   pp. 51 – 55, 2017.

abstract   BibTeX   PDF