An algorithm of generalization in positive supercompilation (1995)

by M Srensen, R Gluck
Venue:Proceedings of ILPS'95, the International Logic Programming Symposium