Weak Orthogonality Implies Confluence: The Higher Order Case.

Vincent van Oostrom, Femke van Raamsdonk

Browse the full LFCS paper archive.