Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms.

Mara Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Jos Meseguer

Browse the full LOPSTR paper archive.