APA (7th ed.) Citation

Berghammer, R., Furusawa, H., Guttmann, W., & Höfner, P. (2020). Relational characterisations of paths. Journal of logical and algebraic methods in programming, 117, 100590. https://doi.org/10.1016/j.jlamp.2020.100590

Chicago Style (17th ed.) Citation

Berghammer, Rudolf, Hitoshi Furusawa, Walter Guttmann, and Peter Höfner. "Relational Characterisations of Paths." Journal of Logical and Algebraic Methods in Programming 117 (2020): 100590. https://doi.org/10.1016/j.jlamp.2020.100590.

MLA (9th ed.) Citation

Berghammer, Rudolf, et al. "Relational Characterisations of Paths." Journal of Logical and Algebraic Methods in Programming, vol. 117, 2020, p. 100590, https://doi.org/10.1016/j.jlamp.2020.100590.