@article{Green08:domain,
  author = "Martin J. Green and David A. Cohen",
  doi = "10.1016/j.artint.2007.12.001",
  journal = "Artificial Intelligence",
  number = "8-9",
  pages = "1094-1118",
  title = "Domain permutation reduction for constraint satisfaction problems",
  volume = "172",
  year = "2008",
}