Modularity of confluence: A simplified proof
scientific article; zbMATH DE number 540913
scientific article