- CSB - MetaPress - Google - Bing - Yahoo
 | 1988 | |
|---|---|---|
| 2 |      | Ramon Brena: Parallelizing a Natural Deduction System. AIMSA 1988: 83-92 |
| 1984 | ||
| 1 | | Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet: Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. AIMSA 1984: 113-120 |
| 1 | Ricardo Caferra | [1] |
| 2 | Bertram Fronhöfer | [1] |
| 3 | Christian Gresse | [1] |
| 4 | Philippe Jacquet | [1] |
| 5 | Marie-Laure Potet | [1] |