Baumgartner, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Nieuwenhuis, Robert Programming Logics, MPI for Informatics, Max Planck Society;
Baumgartner, P., & Tinelli, C. (2005). The Model Evolution Calculus with Equality. In Automated deduction - CADE-20: 20th International Conference on Automated Deduction (pp. 392-408). New York, USA: Springer.