Unification over Distributive Exponentiation (Sub)Theories

Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran. Unification over Distributive Exponentiation (Sub)Theories. Journal of Automata, Languages and Combinatorics, 16(2-4):109-140, 2011.

Abstract

Abstract is missing.