APA (7th ed.) Citation

Alpuente, M., Cuenca-Ortega, A., Escobar, S., & Meseguer, J. (2020). A partial evaluation framework for order-sorted equational programs modulo axioms. Journal of logical and algebraic methods in programming, 110, 100501. https://doi.org/10.1016/j.jlamp.2019.100501

Chicago Style (17th ed.) Citation

Alpuente, M., A. Cuenca-Ortega, S. Escobar, and J. Meseguer. "A Partial Evaluation Framework for Order-sorted Equational Programs Modulo Axioms." Journal of Logical and Algebraic Methods in Programming 110 (2020): 100501. https://doi.org/10.1016/j.jlamp.2019.100501.

MLA (9th ed.) Citation

Alpuente, M., et al. "A Partial Evaluation Framework for Order-sorted Equational Programs Modulo Axioms." Journal of Logical and Algebraic Methods in Programming, vol. 110, 2020, p. 100501, https://doi.org/10.1016/j.jlamp.2019.100501.