Delzanno, G., Esparza, J. and Srba, J. (2006) “Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols”, BRICS Report Series, 13(14). doi: 10.7146/brics.v13i14.21919.