Formalized Ground Completion

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

abstract   BibTeX   PDF