- CSB - MetaPress - Google - Bing - Yahoo
 | 1991 | |
|---|---|---|
| 3 |      | Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar: Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. JTASPEFT/WSA 1991: 53-61 |
| 1988 | ||
| 2 |  | Paul Jacquet: Program Synthesis by Completion with Dependent Subtypes. CADE 1988: 550-562 |
| 1986 | ||
| 1 | | Paul Jacquet, Marie-Laure Potet: Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). ECAI 1986: 345-356 |
| 1 | Rachid Echahed | [3] |
| 2 | Marie-Laure Potet | [1] [3] |
| 3 | Sadik Sebbar | [3] |