APA (7th ed.) Citation

Arsac, S., Harmer, R., & Pous, D. (2025). Adhesive category theory for graph rewriting in Rocq.

Chicago Style (17th ed.) Citation

Arsac, Samuel, Russ Harmer, and Damien Pous. Adhesive Category Theory for Graph Rewriting in Rocq. 2025.

MLA (9th ed.) Citation

Arsac, Samuel, et al. Adhesive Category Theory for Graph Rewriting in Rocq. 2025.