Partial evaluation in logic programming (1991)

by J W Lloyd, J C Shepherdson
Venue:Journal of Logic Programming