Confluence thanks to extensional determinism (Electronic Notes in Theoretical Computer Science, 2006)

(untitled) - Roscoe, A