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