María Alpuente, Angel Cuenca-Ortega, Santiago Escobar 0001, José Meseguer. Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms. Fundamenta Informaticae, 177(3-4):297-329, 2020. [doi]
Abstract is missing.