Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs. - Yves Deville; Jean Burnay (NACLP, 1989)