Philippe Lebaube Brice Lepape Prolog et les techniques de contrôle. 51- 1986 conf/jfplc/1986 SPLT db/conf/jfplc/jfplc1986.html#LebaubeL86