@inproceedings{Cohen06:guarded,
  title = "Typed Guarded Decompositions for Constraint Satisfaction",
  author = "David A. Cohen and Martin J. Green",
  year = "2006",
  booktitle = "Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP'06)",
  pages = "122-136",
  series = "Lecture Notes in Computer Science",
  volume = "4204",
  doi = "10.1007/11889205_11",
}