Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs.

Nao Hirokawa, Dohan Kim, Kiraku Shintani, Ren Thiemann

Browse the full CPP paper archive.