Antoine Rauzy Using Enumerative Methods for Boolean Unification. 237-251 1991 WCLP db/conf/wclp/wclp91.html#Rauzy91