"Equivalence of First Order LISP Programs. Proving Properties of ..."

Ian A. Mason (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics