An algorithm for generalization in positive supercompolation (1995)

by M H Srensen, R Gluck
Venue:In International Logic Programming Symposium (ILPS'95