Weak Orthogonality Implies Confluence: The Higher Order Case.

Vincent van OostromFemke van Raamsdonk
Published in: LFCS (1994)