Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms | Publicación