@InProceedings{BauTin-CADE-05,
  author =	 {Peter Baumgartner and Cesare Tinelli},
  title =	 {The Model Evolution Calculus with Equality},
  booktitle =	 {Proceedings of the 20th International Conference on
                  Automated Deduction, CADE-20 (Tallinn, Estonia)},
  year =	 2005,
  editor =	 {R.~Nieuwenhuis},
  series =	 {Lecture Notes in Artificial Intelligence},
  publisher =	 {Springer},
  number =	 {3632},
  pages =	 {392--408},
  url =
                  {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/BauTin-CADE-05.pdf},
}