Equivalences of first-order Lisp programs (1986)

by I A Mason
Venue:In Proc. Symposium on Logic in Computer Science