APA (7th ed.) Citation

Navarro, M., Orejas, F., Pino, E., & Lambers, L. (2021). A navigational logic for reasoning about graph properties. Journal of logical and algebraic methods in programming, 118, 100616. https://doi.org/10.1016/j.jlamp.2020.100616

Chicago Style (17th ed.) Citation

Navarro, Marisa, Fernando Orejas, Elvira Pino, and Leen Lambers. "A Navigational Logic for Reasoning About Graph Properties." Journal of Logical and Algebraic Methods in Programming 118 (2021): 100616. https://doi.org/10.1016/j.jlamp.2020.100616.

MLA (9th ed.) Citation

Navarro, Marisa, et al. "A Navigational Logic for Reasoning About Graph Properties." Journal of Logical and Algebraic Methods in Programming, vol. 118, 2021, p. 100616, https://doi.org/10.1016/j.jlamp.2020.100616.