Boolean unification with predicates. - EBERHARD, SEBASTIAN; HETZL, STEFAN; WELLER, DANIEL (Journal of Logic & Computation, 2017)