Transforming logic programs by specialising interpreters (1986)

by J Gallagher
Venue:In Proceedings of the Seventh European Conference on Artificial Intelligence, ECAI ’86