Partial Deduction and Driving are Equivalent, in (1994)

by R Glück, M Sørensen
Venue:Proc. Int’l Symp. on Programming Language Implementation and Logic Programming, PLILP’94, Springer, Lecture Notes in Computer Science 844