Deepak Kapur Paliath Narendran Complexity of Unification Problems with Associative-Commutative Operators. 261-288 1992 9 J. Autom. Reasoning 2 db/journals/jar/jar9.html#KapurN92