@inproceedings{BauTin-CADE-11,
  Author =	 {Peter Baumgartner and Cesare Tinelli},
  Booktitle =	 {Proceedings of the 23rd International Conference on
                  Automated Deduction (Wroc{\l}av, Poland)},
  Editor =	 {N.~Bi{\o}rner and V.~Sofronie-Stokkermans},
  Volume =	 6803,
  Publisher =	 {Springer},
  Series =	 {Lecture Notes in Artificial Intelligence},
  Title =	 {Model Evolution with Equality Modulo Built-in
                  Theories},
  Year =	 2011
}