@Article{BauTin-AIJ-08,
  author =	 {Peter Baumgartner and Cesare Tinelli},
  title = 	 {The Model Evolution Calculus as a First-Order {DPLL} Method},
  journal = 	 {Artificial Intelligence},
  year = 	 2008,
  volume = 	 172,
  pages = 	 {591--632},
}