APA (7th ed.) Citation

Cailler, J., Delorme, N., Perdrix, S., & Tourret, S. (2026). Towards Term-based Verification of Diagrammatic Equivalence.

Chicago Style (17th ed.) Citation

Cailler, Julie, Noé Delorme, Simon Perdrix, and Sophie Tourret. Towards Term-based Verification of Diagrammatic Equivalence. 2026.

MLA (9th ed.) Citation

Cailler, Julie, et al. Towards Term-based Verification of Diagrammatic Equivalence. 2026.