@InProceedings{frisch:RefineARW
  author = "Frisch, A.M. and Miguel, I. and Walsh, T.",
  title = "Refining Abstract Specifications of Constraint Satisfaction
           Problems",
  booktitle = "Proceedings of the Tenth Workshop on Automated Reasoning",
  year = 2003,
  pages = {29--31}}