TY  - RPRT
TI  - On the Parameterized Complexity of Associative and Commutative Unification
AU  - Tatsuya Akutsu
AU  - Takeyuki Tamura
AU  - Atsuhiro Takasu
PY  - 2013
UR  - https://arxiv.org/abs/1310.0919
ID  - 1310.0919
ER  -