Deepak Kapur Paliath Narendran Lida Wang A Unification Algorithm for Analysis of Protocols with Blinded Signatures. 433-451 2005 conf/birthday/2005siekmann Mechanizing Mathematical Reasoning http://springerlink.metapress.com/openurl.asp?genre=article&id=7ACQYKF53VA0Q4G2 db/conf/birthday/siekmann2005.html#KapurNW05