Lanese, I., Phillips, I., & Ulidowski, I. (2024). An Axiomatic Theory for Reversible Computation. ACM Transactions on Computational Logic, 25(2), 1. https://doi.org/10.1145/3648474
Chicago Style (17th ed.) CitationLanese, Ivan, Iain Phillips, and Irek Ulidowski. "An Axiomatic Theory for Reversible Computation." ACM Transactions on Computational Logic 25, no. 2 (2024): 1. https://doi.org/10.1145/3648474.
MLA (9th ed.) CitationLanese, Ivan, et al. "An Axiomatic Theory for Reversible Computation." ACM Transactions on Computational Logic, vol. 25, no. 2, 2024, p. 1, https://doi.org/10.1145/3648474.
Warning: These citations may not always be 100% accurate.