| 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- | |