Transforming logic programs by specializing interpreters (1986)

by J Gallagher
Venue:In Proc. of the 7th. European Conference on Artificial Intelligence