On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity - Paliath Narendran; Andrew M. Marshall; Bibhu Mahapatra (UNIF, 2010)