@InProceedings{BauFT-LPAR-08,
  author =	 {Peter Baumgartner and Alexander Fuchs and Cesare
                  Tinelli},
  title =	 {{ME(LIA)} -- {M}odel {E}volution {W}ith {L}inear
                  {I}nteger {A}rithmetic {C}onstraints},
  booktitle =	 {Proceedings of the 15th International Conference on
                  Logic for Programming, Artificial Intelligence and
                  Reasoning (Doha, Qatar)},
  pages =	 {258--273},
  volume =	 5330,
  year =	 2008,
  Editor =	 {I.~Cervesato and H.~Veith and A.~Voronkov},
  series =	 {Lecture Notes in Artificial Intelligence},
  publisher =	 {Springer},
  url =
                  {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/BaumFT-LPAR-08.pdf},
}