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

by D Miller, G Nadathur
Venue:In IEEE Symposium on Logic Programming