APA (7th ed.) Citation

Maletto, G., & Roversi, L. (2024). Certifying expressive power and algorithms of reversible primitive permutations with Lean. Journal of logical and algebraic methods in programming, 136, 100923. https://doi.org/10.1016/j.jlamp.2023.100923

Chicago Style (17th ed.) Citation

Maletto, Giacomo, and Luca Roversi. "Certifying Expressive Power and Algorithms of Reversible Primitive Permutations with Lean." Journal of Logical and Algebraic Methods in Programming 136 (2024): 100923. https://doi.org/10.1016/j.jlamp.2023.100923.

MLA (9th ed.) Citation

Maletto, Giacomo, and Luca Roversi. "Certifying Expressive Power and Algorithms of Reversible Primitive Permutations with Lean." Journal of Logical and Algebraic Methods in Programming, vol. 136, 2024, p. 100923, https://doi.org/10.1016/j.jlamp.2023.100923.