Driving and partial deduction are equivalent (1994)

by R Gluck, M H S��rensen
Venue:Proceedings PLILP'94, pages 165--181, SpringerVerlag, LNCS 844