Réarrangement de clauses Prolog. - Thierry Conrad (SPLT, 1986)

Termes typés et termes globaux en Prolog. - Thierry Conrad (SPLT, 1987)

A Many Sorted PROLOG Based on Equational Unification. - Thierry Conrad (ECAI, 1988)

EQUATOR: a Many-Sorted Prolog based on Equational Unification. - Thierry Conrad (SPLT, 1988)

Sorts are nothing but functions: an equational approach to sorts for logic programming - Thierry Conrad; Ulrich Furbach (Forschungsberichte, TU Munich, 1988)