@INPROCEEDINGS{bayerCP07,
  author = {Kenneth M. Bayer and Martin Michalowski and Berthe Y. Choueiry and Craig A. Knoblock},
  title = {Reformulating CSPs for Scalability with Application to Geospatial Reasoning},
  booktitle = {Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-07)},
  year = {2007},
  pages = xx-xx
}