Using Enumerative Methods for Boolean Unification

Antoine Rauzy. Using Enumerative Methods for Boolean Unification. In WCLP. pages 237-251, 1991.

Bibliographies