Journal of Automata, Languages and Combinatorics formerly:
|
@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} }