APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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