Building tractable disjunctive constraints (Journal of the ACM, 2000)

(untitled) - Cohen, D; Jeavons, P; Jonsson, P; Koubarakis, M