@inproceedings{Baumgartner_Tinelli_11,
    isbn             = {978-3-642-22437-9},
    publisher        = {Springer},
    booktitle        = {International Conference on Automated Deduction},
    month            = apr,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4705.pdf},
    year             = {2011},
    editor           = {{Nikolaj Bjoerner and Viorica Sofronie-Stokkermans }},
    keywords         = {automated reasoning, satisfiability modulo theories},
    title            = {Model Evolution with Equality Modulo Built-in Theories},
    pages            = {85--100},
    author           = {Baumgartner, Peter and Tinelli, Cesare},
    address          = {Wroclaw, Poland}
  }