J. Y. Cras Types et fonctions en Prolog: une approche ensembliste. 175-202 1986 conf/jfplc/1986 SPLT db/conf/jfplc/jfplc1986.html#Cras86