A partial evaluation procedure for logic programs (1990)

by K Benkerimi, J W Lloyd
Venue:Proceedings of the North American Conference on Logic Programming