Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. - María Alpuente; Angel Cuenca-Ortega; Santiago Escobar 001; José Meseguer 001 (LOPSTR, 2016)

Inspecting Maude variants with GLINTS. - María Alpuente; Santiago Escobar 001; Julia Sapiña; Angel Cuenca-Ortega (Theory Pract. Log. Program., 2017)

Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. - María Alpuente; Angel Cuenca-Ortega; Santiago Escobar 001; José Meseguer 001 (LOPSTR, 2018)

ACUOS2: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. - María Alpuente; Demis Ballis; Angel Cuenca-Ortega; Santiago Escobar 001; José Meseguer 001 (JELIA, 2019)

Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms. - María Alpuente; Angel Cuenca-Ortega; Santiago Escobar 001; José Meseguer 001 (Fundam. Informaticae, 2020)

A partial evaluation framework for order-sorted equational programs modulo axioms. - María Alpuente; Angel Cuenca-Ortega; Santiago Escobar 001; José Meseguer 001 (J. Log. Algebraic Methods Program., 2020)