Jia Liu, Huimin Lin: A Complete Symbolic Bisimulation for Full Applied Pi Calculus. SOFSEM 2010: 552-563