Peter Baumgartner and Uwe Waldmann.
A Combined Superposition and Model Evolution Calculus.
Journal of Automated Reasoning, 47(2):191--227, August 2011.
Copyright Springer Verlag http://www.springer.com/. [ bib | DOI | .pdf | Abstract ]

 

Nikolaj Bjørner and Viorica Sofronie-Stokkermans, editors.
volume 6803 of Lecture Notes in Artificial Intelligence. Springer, 2011. [ bib ]

 

Peter Baumgartner and Cesare Tinelli.
Model Evolution with Equality Modulo Built-in Theories.
In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, editors, CADE-23 -- The 23nd International Conference on Automated Deduction, volume 6803 of Lecture Notes in Artificial Intelligence, pages 85--100. Springer, 2011.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]