church-rosser theorem - Alemán Inglés Diccionario