Gutiérrez-Naranjo, M. A., Alonso-Jiménez J. A., & Borrego-Díaz J.  (2003).??Generalizing Programs via Subsumption.  Lecture Notes in Computer Science. 2809, 115-126.