Undecidability of Unification over Two Theories of Modular Exponentiation
Proc. Intl. Workshop on Unification, UNIF-2003,,
Valencia, Spain, June 2003.
Deepak Kapur, Paliath Narendran and Lida Wang

To view entire paper click here