Journal of Automata, Languages and Combinatorics

@article{jalc160204,
  author  = {Serdar Erbatur and Andrew M. Marshall and Deepak Kapur and Paliath Narendran},
  title   = {Unification over Distributive Exponentiation (Sub)Theories},
  journal = jalc,
  year    = 2011,
  volume  = 16,
  number  = {2--4},
  pages   = {109--140}
}