Une mise en oeuvre de l'unification d'expressions booléennes. - Olivier Ridoux; H. Tonneau (SPLT, 1990)