"On Confluence for Weakly Normalizing Systems."

Pierre-Louis Curien, Giorgio Ghelli (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics