Specialisation of logic programs: A tutorial (1993)

by J Gallagher
Venue:In Proceedings PEPM’93, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation