@inproceedings{frisch:Reform02,
         title = "Towards Model Reformulation at Multiple Levels of
                  Abstraction",
         author = "Frisch, A.M. and Hnich, B. and Miguel, I. and 
                   Smith, B.M. and Walsh, T.",
         booktitle = "Proceedings of the International Workshop
                      on Reformulating Constraint Satisfaction Problems",
         editor = "Frisch, A.M.",
         pages = {42--56},
         year = 2002}