| |
| 1991 | ||
|---|---|---|
| 1 | 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 | |
| 1 | Rachid Echahed | [1] |
| 2 | Paul Jacquet | [1] |
| 3 | Marie-Laure Potet | [1] |