On Complexity of Confluence and Church-Rosser Proofs.

Arnold Beckmann, Georg Moser

Browse the full MFCS paper archive.