Remi Legrand Gel implicite, calcul formel et résolution d'équations en programmation logique. 105-120 1988 conf/jfplc/1988 SPLT db/conf/jfplc/jfplc1988.html#Legrand88