APA (7th ed.) Citation

Durán, F., Meseguer, J., & Rocha, C. (2020). Ground confluence of order-sorted conditional specifications modulo axioms. Journal of logical and algebraic methods in programming, 111, 100513. https://doi.org/10.1016/j.jlamp.2019.100513

Chicago Style (17th ed.) Citation

Durán, Francisco, José Meseguer, and Camilo Rocha. "Ground Confluence of Order-sorted Conditional Specifications Modulo Axioms." Journal of Logical and Algebraic Methods in Programming 111 (2020): 100513. https://doi.org/10.1016/j.jlamp.2019.100513.

MLA (9th ed.) Citation

Durán, Francisco, et al. "Ground Confluence of Order-sorted Conditional Specifications Modulo Axioms." Journal of Logical and Algebraic Methods in Programming, vol. 111, 2020, p. 100513, https://doi.org/10.1016/j.jlamp.2019.100513.