Stéphanie Delaune Steve Kremer Mark Ryan Symbolic Bisimulation for the Applied Pi Calculus. 133-145 2007 conf/fsttcs/2007 FSTTCS http://dx.doi.org/10.1007/978-3-540-77050-3_11 db/conf/fsttcs/fsttcs2007.html#DelauneKR07