@inproceedings{frisch:ARW02,
         title = "Automatically Transforming Constraint Satisfaction
                  Problems: Further Progress",
         author = "Frisch, A.M. and Miguel, I. and Walsh, T.",
         booktitle = "Proceedings of the Ninth Workshop on Automated
                      Reasoning",
         editor = "Walsh, T.",
         year = 2002}