An algorithm of generalization in positive supercompilation (1995)

by M H Srensen, R Gluck
Venue:Proc. of ISLP'95