APA (7th ed.) Citation

Durán, F., Eker, S., Escobar, S., Martí-Oliet, N., Meseguer, J., Rubio, R., & Talcott, C. (2020). Programming and symbolic computation in Maude. Journal of logical and algebraic methods in programming, 110, 100497. https://doi.org/10.1016/j.jlamp.2019.100497

Chicago Style (17th ed.) Citation

Durán, Francisco, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, and Carolyn Talcott. "Programming and Symbolic Computation in Maude." Journal of Logical and Algebraic Methods in Programming 110 (2020): 100497. https://doi.org/10.1016/j.jlamp.2019.100497.

MLA (9th ed.) Citation

Durán, Francisco, et al. "Programming and Symbolic Computation in Maude." Journal of Logical and Algebraic Methods in Programming, vol. 110, 2020, p. 100497, https://doi.org/10.1016/j.jlamp.2019.100497.