An Algorithm of Generalization in Positive Supercompilation (1995)

by M H Srensen, R Gluck
Venue:Logic Programming: Proceedings of the 1995 International Symposium