@InProceedings{BauTin-CADE-03,
  author =	 {Peter Baumgartner and Cesare Tinelli},
  title =	 {The Model Evolution Calculus},
  booktitle =	 {Proceedings of the 19th International Conference on
                  Automated Deduction, CADE-19 (Miami, Florida, USA)},
  year =	 2003,
  editor =	 {F.~Baader},
  series =	 {Lecture Notes in Artificial Intelligence},
  publisher =	 {Springer},
  number =	 2741,
  pages =	 {350-364},
  url =
                  {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/BauTin-CADE-03.pdf},
}