@inproceedings{BofillPSV09modref,
  author = {Miquel Bofill and Miquel Palah{\'{\i}} and Josep Suy and Mateu Villaret},
  title = {{SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format}},
  booktitle = {8th International Workshop on Constraint Modelling and Reformulation, ModRef'09},
  year = {2009},
  pages = {30--44},
  address = {Lisbon, Portugal}
}