Detection and optimisation of functional computations in Prolog (1986)

by S K Debray, D S Warren
Venue:In Proceedings of the Third International Conference on Logic Programming