Unification over Distributive Exponentiation (Sub)Theories

@article{Erbatur2011UnificationOD,
  title={Unification over Distributive Exponentiation (Sub)Theories},
  author={Serdar Erbatur and Andrew M. Marshall and Deepak Kapur and Paliath Narendran},
  journal={Journal of Automata, Languages and Combinatorics},
  year={2011},
  volume={16},
  pages={109-140}
}