Peter Baumgartner Cesare Tinelli The model evolution calculus as a first-order DPLL method. 591-632 2008 172 Artif. Intell. 4-5 http://dx.doi.org/10.1016/j.artint.2007.09.005 db/journals/ai/ai172.html#BaumgartnerT08