Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* | Publicación