Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli.
ME(LIA) -- Model Evolution With Linear Integer Arithmetic Constraints.
In I. Cervesato, H. Veith, and A. Voronkov, editors, Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'08), volume 5330 of Lecture Notes in Artificial Intelligence, pages 258--273. Springer, November 2008. [ bib | DOI | .pdf | Abstract ]

 

Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors.
Automated Reasoning - 4th International Conference, IJCAR 2008, volume 5195 of Lecture Notes in Artificial Intelligence. Springer, August 2008. [ bib | DOI ]

 

Peter Baumgartner and Cesare Tinelli.
The Model Evolution Calculus as a First-Order DPLL Method.
Artificial Intelligence, 172(4-5):591--632, 2008. [ bib | DOI | .pdf | Abstract ]