"Church-Rosser property of a simple reduction for full first-order ..."

Y. Andou (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics