Rubio, R., & Riesco, A. (2024). Maude2Lean: Theorem proving for Maude specifications using Lean. J. Log. Algebr. Methods Program., 1–22. https://doi.org/10.1016/j.jlamp.2024.101005