Jean Beney Jean-François Boulicaut STARLET: un langage pour une programmation logique fiable. 253- 1986 conf/jfplc/1986 SPLT db/conf/jfplc/jfplc1986.html#BeneyB86