Your search returned the following 5 documents:

5. Computing Finite Models by Reduction to Function-Free Clause Logic
   Hans de Nivelle, Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
   In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, Seattle, USA, 2006, 82-95
   
4. Implementing the Model Evolution Calculus
   Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
   International Journal on Artificial Intelligence Tools 15 (1): 21-52, 2006
   
3. The Model Evolution Calculus with Equality
   Peter Baumgartner and Cesare Tinelli
   In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, 2005, 392-408
   
2. Darwin: A Theorem Prover for the Model Evolution Calculus
   Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
   In: Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04), Cork, Ireland, 2004, 1-24
   
1. DPLL(T): Fast Decision Procedures
   Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, and Cesare Tinelli
   In: Computer aided verification : 16th International Conference, CAV 2004, Boston, Massachusetts, 2004, 175-188