Hubert Comon-Lundh, Stéphanie Delaune, Jonathan K. Millen. Constraint solving techniques and enriching the model with equational theories. In Véronique Cortier, Steve Kremer, editors, Formal Models and Techniques for Analyzing Security Protocols. Volume 5 of Cryptology and Information Security Series, pages 35-61, IOS Press, 2011. [doi]
Abstract is missing.