Francis Alexandre Une heuristique pour transformer des programmes logiques. 143-158 1989 conf/jfplc/1989 SPLT db/conf/jfplc/jfplc1989.html#Alexandre89