The confluence of the se-calculus via a generalized interpretation method (1996)

by F Kamareddine, A R'ios