@article{BuildingTractable,
  title = "Building tractable disjunctive constraints",
  author = "David Cohen and Peter Jeavons and Peter Jonsson and Manolis Koubarakis",
  year = "2000",
  journal = "Journal of the ACM",
  number = "47",
  pages = "826--853",
  url = "http://portal.acm.org/citation.cfm?id=355483.355485",
  doi = "10.1145/355483.355485",
}