Confluence by Critical Pair Analysis Revisited.

Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi

Browse the full CADE paper archive.