Confluence by Critical Pair Analysis Revisited

Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
27th International Conference on Automated Deduction, Lecture Notes in Computer Science 11716, pp. 319 – 336, 2019.

abstract   BibTeX   PDF   doi:10.1007/978-3-030-29436-6_19  
Springer Nature Switzerland AG 2019