"An E-unification Algorithm for Analyzing Protocols That Use Modular ..."

Deepak Kapur, Paliath Narendran, Lida Wang (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics