An algorithm of generalization in positive supercompilation (1995)

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