APA (7th ed.) Citation

Behr, N., Harmer, R., & Krivine, J. (2021). Concurrency Theorems for Non-linear Rewriting Theories. Graph Transformation, 12741, 3-21. https://doi.org/10.1007/978-3-030-78946-6_1

Chicago Style (17th ed.) Citation

Behr, Nicolas, Russ Harmer, and Jean Krivine. "Concurrency Theorems for Non-linear Rewriting Theories." Graph Transformation 12741 (2021): 3-21. https://doi.org/10.1007/978-3-030-78946-6_1.

MLA (9th ed.) Citation

Behr, Nicolas, et al. "Concurrency Theorems for Non-linear Rewriting Theories." Graph Transformation, vol. 12741, 2021, pp. 3-21, https://doi.org/10.1007/978-3-030-78946-6_1.