Supporting transformations for the partial evaluation of logic programs (1993)

by K Benkerimi, P M Hill
Venue:Journal of Logic and Computation