Une solution Prolog au problème de Schubert. - Béatrice Duval; J. Y. Cras (SPLT, 1985)

Types et fonctions en Prolog: une approche ensembliste. - J. Y. Cras (SPLT, 1986)