Lemma Learning in the Model Evolution Calculus. - Peter Baumgartner 001; Alexander Fuchs 003; Cesare Tinelli (LPAR, 2006)

Implementing the Model Evolution Calculus. - Peter Baumgartner 001; Alexander Fuchs 003; Cesare Tinelli (Int. J. Artif. Intell. Tools, 2006)

(LIA) - Model Evolution with Linear Integer Arithmetic Constraints. - Peter Baumgartner 001; Alexander Fuchs 003; Cesare Tinelli (LPAR, 2008)

Computing finite models by reduction to function-free clause logic. - Peter Baumgartner 001; Alexander Fuchs 003; Hans de Nivelle; Cesare Tinelli (J. Appl. Log., 2009)

Ground interpolation for the theory of equality - Alexander Fuchs 003; Amit Goel; Jim Grundy; Sava Krstic; Cesare Tinelli (Log. Methods Comput. Sci., 2012)