Stéphanie Delaune Pascal Lafourcade Denis Lugiez Ralf Treinen Symbolic Protocol Analysis in Presence of a Homomorphism Operator and <i>Exclusive Or</i>. 132-143 2006 conf/icalp/2006-2 ICALP (2) http://dx.doi.org/10.1007/11787006_12 db/conf/icalp/icalp2006-2.html#DelauneLLT06