APA (7th ed.) Citation

Benevides, M. R., & Madeira, A. (2020). DaLí - Dynamic Logic, new trends and applications. Journal of logical and algebraic methods in programming, 111, 100514. https://doi.org/10.1016/j.jlamp.2019.100514

Chicago Style (17th ed.) Citation

Benevides, Mario R.F., and Alexandre Madeira. "DaLí - Dynamic Logic, New Trends and Applications." Journal of Logical and Algebraic Methods in Programming 111 (2020): 100514. https://doi.org/10.1016/j.jlamp.2019.100514.

MLA (9th ed.) Citation

Benevides, Mario R.F., and Alexandre Madeira. "DaLí - Dynamic Logic, New Trends and Applications." Journal of Logical and Algebraic Methods in Programming, vol. 111, 2020, p. 100514, https://doi.org/10.1016/j.jlamp.2019.100514.