Style de citation APA (7e éd.)

Chancelier, J., de Lara, M., & Heymann, B. (2021). Conditional Separation as a Binary Relation. A Coq Assisted Proof.

Style de citation Chicago (17e éd.)

Chancelier, Jean-Philippe, Michel de Lara, et Benjamin Heymann. Conditional Separation as a Binary Relation. A Coq Assisted Proof. 2021.

Style de citation MLA (9e éd.)

Chancelier, Jean-Philippe, et al. Conditional Separation as a Binary Relation. A Coq Assisted Proof. 2021.