The Derivation of an Algorithm for Program Specialisation.

John P. Gallagher, Maurice Bruynooghe

Browse the full ICLP paper archive.