- CSB - MetaPress - Google - Bing - Yahoo
 | 1988 | |
|---|---|---|
| 4 |      | Thierry Conrad: A Many Sorted PROLOG Based on Equational Unification. ECAI 1988: 305-307 |
| 3 | | Thierry Conrad: EQUATOR: a Many-Sorted Prolog based on Equational Unification. SPLT 1988: 171-184 |
| 1987 | ||
| 2 | | Thierry Conrad: Termes typés et termes globaux en Prolog. SPLT 1987: 119-130 |
| 1986 | ||
| 1 | | Thierry Conrad: Réarrangement de clauses Prolog. SPLT 1986: 345- |