Jean-Louis Lassez;Ken McAloon
-;-
Building tractable disjunctive constraints
Journal of the ACM (JACM)