Partial Deduction and Driving are Equivalent (1994)

by R Glück, M Sørensen
Venue:In Proc. Int’l Symp. on Programming Language Implementation and Logic Programming (PLILP’94). Springer LNCS 844