Style de citation APA (7e éd.)

Boldo, S., Clément, F., Martin, V., & Mayero, M. (2025). A Rocq Formalization of Monomial and Graded Orders.

Style de citation Chicago (17e éd.)

Boldo, Sylvie, François Clément, Vincent Martin, et Micaela Mayero. A Rocq Formalization of Monomial and Graded Orders. 2025.

Style de citation MLA (9e éd.)

Boldo, Sylvie, et al. A Rocq Formalization of Monomial and Graded Orders. 2025.