Weak orthogonality implies confluence: the higher order case - Oostrom, Vincent van (Centrum voor Wiskunde en Informatica, 1995)