Building tractable disjunctive constraints - Cohen, D; Jeavons, P; Jonsson, P; Koubarakis, M (Journal of the ACM, 2000)