TY  - RPRT
TI  - Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms
AU  - María Alpuente
AU  - Angel Cuenca-Ortega
AU  - Santiago Escobar
AU  - José Meseguer
PY  - 2018
UR  - https://arxiv.org/abs/1808.05097
ID  - 1808.05097
ER  -