@InProceedings{bakewell:CPReform03,
  author = "Bakewell, A. and Frisch, A.M. and Miguel, I.",
  title = "Towards Automatic Modelling of Constraint Satisfaction
           Problems: A System Based on Compositional Refinement",
  booktitle = "Proceedings of the Second International Workshop on Modelling
               and Reformulating Constraint Satisfaction Problems",
  editor = "Frisch, A.M.",
  year = 2003,
  pages = {2--17}}