and Gopalan Nadathur. A logic programming approach to manipulating formulas and programs (1987)

by Dale A Miller
Venue:In Symposium on Logic Programming