Your search returned the following 3 documents:

3. 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
   
2. 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
   
1. Implementing the Model Evolution Calculus
   Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
   International Journal on Artificial Intelligence Tools 15 (1): 21-52, 2006