@Inproceedings{EPTCS42.2, author = {Kapur, Deepak and Marshall, Andrew and Narendran, Paliath}, year = {2010}, title = {Unification modulo a partial theory of exponentiation}, editor = {Fernandez, Maribel}, booktitle = {{\rm Proceedings 24th International Workshop on} Unification, {\rm Edinburgh, United Kingdom, 14th July 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {42}, publisher = {Open Publishing Association}, pages = {12-23}, doi = {10.4204/EPTCS.42.2}, }