Certification of Confluence Proofs using CeTA

René Thiemann
Proceedings of the 1st International Workshop on Confluence (IWC 2012),   pp. 45, 2012.

abstract   BibTeX   PDF