Olivier Ridoux H. Tonneau Une mise en oeuvre de l'unification d'expressions booléennes. 551-570 1990 conf/jfplc/1990 SPLT db/conf/jfplc/jfplc1990.html#RidouxT90