Specifying generic Java programs: two case studies. - Alain Giorgetti; Claude Marché; Elena Tushkanova; Olga Kouchnarenko (LDTA, 2010)

A Rule-Based Framework for Building Superposition-Based Decision Procedures. - Elena Tushkanova; Alain Giorgetti; Christophe Ringeissen; Olga Kouchnarenko (WRLA, 2012)

Automatic Decidability: A Schematic Calculus for Theories with Counting Operators. - Elena Tushkanova; Christophe Ringeissen; Alain Giorgetti; Olga Kouchnarenko (RTA, 2013)

Schematic calculi for the analysis of decision procedures. (Calculs schématiques pour l'analyse de procédures de décision). - Elena Tushkanova (2013)

A rule-based system for automatic decidability and combinability. - Elena Tushkanova; Alain Giorgetti; Christophe Ringeissen; Olga Kouchnarenko (Sci. Comput. Program., 2015)