General Automation in Coq through Modular Transformations. - Valentin Blot; Louise Dubois de Prisque; Chantal Keller; Pierre Vial (PxTP, 2021)

Modular pre-processing for automated reasoning in dependent type theory. - Valentin Blot; Denis Cousineau 002; Enzo Crance; Louise Dubois de Prisque; Chantal Keller; Assia Mahboubi; Pierre Vial (CoRR, 2022)

Compositional Pre-processing for Automated Reasoning in Dependent Type Theory. - Valentin Blot; Denis Cousineau 002; Enzo Crance; Louise Dubois de Prisque; Chantal Keller; Assia Mahboubi; Pierre Vial (CPP, 2023)

Prétraitement compositionnel en Coq. (Compositional preprocessing in Coq). - Louise Dubois de Prisque (2024)