Unification modulo a Partial Theory of Exponentiation
Proc. UNIF 2010,
Edinburgh, July 2010.
Deepak Kapur, Andrew Marshall, and Paliath Narendran

To view entire paper click here