| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |
Data released under the ODC-BY 1.0 license — See also our legal information page