A Logic Programming Approach To Manipulating Formulas And Programs (1994)

by Dale Miller , Gopalan Nadathur
Venue:IEEE Symp. Logic Programming
Citations:49 - 14 self