Certifying Confluence Proofs via Relative Termination and Rule Labeling

Julian Nagele, Bertram Felgenhauer, and Harald Zankl
Logical Methods in Computer Science,  13(2:4), pp. 1 – 27, 2017.

abstract   BibTeX   PDF   doi:10.23638/LMCS-13(2:4)2017