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