Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. - Ramon Brena; Ricardo Caferra; Bertram Fronhöfer; Christian Gresse; Philippe Jacquet; Marie-Laure Potet (AIMSA, 1984)

Parallelizing a Natural Deduction System. - Ramon Brena (AIMSA, 1988)

Synthèse de programmes : connaissances et déduction dans les domaines d'application. (Program synthesis : knowledge and deduction in application domains). - Ramon Brena (1989)