Ramon Brena Ricardo Caferra Bertram Fronhöfer Christian Gresse Philippe Jacquet Marie-Laure Potet Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. 113-120 1984 AIMSA db/conf/aimsa/aimsa1984.html#BrenaCFGJP84