Franz Baader On the Complexity of Boolean Unification. 215-220 1998 67 Inf. Process. Lett. 4 db/journals/ipl/ipl67.html#Baader98 http://dx.doi.org/10.1016/S0020-0190(98)00106-9