G. Landais Transformation de programmes Prolog en vue de la compilation. 133- 1986 conf/jfplc/1986 SPLT db/conf/jfplc/jfplc1986.html#Landais86