APA (7th ed.) Citation

Kurz, A., & Velebil, J. (2016). Relation lifting, a survey. Journal of logical and algebraic methods in programming, 85(4), 475-499. https://doi.org/10.1016/j.jlamp.2015.08.002

Chicago Style (17th ed.) Citation

Kurz, Alexander, and Jiří Velebil. "Relation Lifting, a Survey." Journal of Logical and Algebraic Methods in Programming 85, no. 4 (2016): 475-499. https://doi.org/10.1016/j.jlamp.2015.08.002.

MLA (9th ed.) Citation

Kurz, Alexander, and Jiří Velebil. "Relation Lifting, a Survey." Journal of Logical and Algebraic Methods in Programming, vol. 85, no. 4, 2016, pp. 475-499, https://doi.org/10.1016/j.jlamp.2015.08.002.