An algorithm of generalization in positive supercompilation (1995)

by M H Sørensen, R Glück
Venue:In Proc. ILPS ’95