APA (7th ed.) Citation

Meseguer, J. (2023). Variants and satisfiability in the infinitary unification wonderland. Journal of logical and algebraic methods in programming, 134, 100877. https://doi.org/10.1016/j.jlamp.2023.100877

Chicago Style (17th ed.) Citation

Meseguer, José. "Variants and Satisfiability in the Infinitary Unification Wonderland." Journal of Logical and Algebraic Methods in Programming 134 (2023): 100877. https://doi.org/10.1016/j.jlamp.2023.100877.

MLA (9th ed.) Citation

Meseguer, José. "Variants and Satisfiability in the Infinitary Unification Wonderland." Journal of Logical and Algebraic Methods in Programming, vol. 134, 2023, p. 100877, https://doi.org/10.1016/j.jlamp.2023.100877.