@article{AMLG_1972__15_137876,
     author = {Gerd Mitschke},
     title = {Ein algebraischer {Beweis} f\"ur das {Church-Rosser-Theorem.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {146--157},
     publisher = {mathdoc},
     volume = {15},
     year = {1972},
     zbl = {0267.02017},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1972__15_137876/}
}