Partial deduction and driving are equivalent (1994)

by R Glück, M H Sørensen
Venue:Programming Language Implementation and Logic Programming. Proceedings, LNCS 844