@INPROCEEDINGS{michalowskiSARA07:summary,
  author = {Michalowski, Martin and Knoblock, Craig A. and Choueiry, Berthe Y.},
  title = {Reformulating Constraint Models Using Input Data},
  booktitle = {Proceedings of the 7th Symposium on Abstraction, Reformulation and Approximation (SARA-07)},
  year = {2007},
  pages = 402-404
}