R.: An algorithm of generalization in positive supercompilation (1995)

by M H Sørensen, Glück
Venue:Logic Programming: Proceedings of the 1995 International Symposium