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

by Dale Miller
Venue:In Seif Haridi, editor, IEEE Symposium on Logic Programming