Church-Rosser properties

== English == === Noun === Church-Rosser properties plural of Church-Rosser property