Deepak Kapur Paliath Narendran Lida Wang An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation. 165-179 2003 conf/rta/2003 RTA http://link.springer.de/link/service/series/0558/bibs/2706/27060165.htm db/conf/rta/rta2003.html#KapurNW03