%0 Journal Article %1 journals/corr/AkutsuTT13 %A Akutsu, Tatsuya %A Tamura, Takeyuki %A Takasu, Atsuhiro %D 2013 %J CoRR %K dblp %T On the Parameterized Complexity of Associative and Commutative Unification. %U http://dblp.uni-trier.de/db/journals/corr/corr1310.html#AkutsuTT13 %V abs/1310.0919

@article{journals/corr/AkutsuTT13, added-at = {2018-08-13T00:00:00.000+0200}, author = {Akutsu, Tatsuya and Tamura, Takeyuki and Takasu, Atsuhiro}, biburl = {https://www.bibsonomy.org/bibtex/2a59e82a931adda5f28b6989bc99244e5/dblp}, ee = {http://arxiv.org/abs/1310.0919}, interhash = {ac8c53a04e8285c438410dd0f080e502}, intrahash = {a59e82a931adda5f28b6989bc99244e5}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:19:08.000+0200}, title = {On the Parameterized Complexity of Associative and Commutative Unification.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1310.html#AkutsuTT13}, volume = {abs/1310.0919}, year = 2013 }