Citazione Stile APA (7a Edizione)

Blot, V., Cousineau, D., Crance, E., de Prisque, L. D., Keller, C., Mahboubi, A., & Vial, P. (2022). Compositional pre-processing for automated reasoning in dependent type theory.

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

Blot, Valentin, et al. Compositional Pre-processing for Automated Reasoning in Dependent Type Theory. 2022.