APA (7th ed.) Citation

Belkhir, W., Ratier, N., Nguyen, D. D., & Lenczner, M. (2022). Unification and combination of a class of traversal strategies made with pattern matching and fixed-points. Journal of logical and algebraic methods in programming, 125, 100746. https://doi.org/10.1016/j.jlamp.2021.100746

Chicago Style (17th ed.) Citation

Belkhir, Walid, Nicolas Ratier, Duy Duc Nguyen, and Michel Lenczner. "Unification and Combination of a Class of Traversal Strategies Made with Pattern Matching and Fixed-points." Journal of Logical and Algebraic Methods in Programming 125 (2022): 100746. https://doi.org/10.1016/j.jlamp.2021.100746.

MLA (9th ed.) Citation

Belkhir, Walid, et al. "Unification and Combination of a Class of Traversal Strategies Made with Pattern Matching and Fixed-points." Journal of Logical and Algebraic Methods in Programming, vol. 125, 2022, p. 100746, https://doi.org/10.1016/j.jlamp.2021.100746.