Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL

Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh, Franziska Rapp
Proceedings of the 7th International Workshop on Confluence (IWC 2018),   pp. 46 – 50, 2018.

abstract   BibTeX   PDF