Partial Deduction and Driving are Equivalent

Robert Glück, Morten Heine Sørensen. Partial Deduction and Driving are Equivalent. In Manuel V. Hermenegildo, Jaan Penjam, editors, Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP 94, Madrid, Spain, September 14-16, 1994, Proceedings. Volume 844 of Lecture Notes in Computer Science, pages 165-181, Springer, 1994.

Authors

Robert Glück

Identified as Robert Glück

Morten Heine Sørensen

This author has not been identified. Look up 'Morten Heine Sørensen' in Google