G. Delzanno, J. Esparza, and J. Srba, “Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols”, BRICS, vol. 13, no. 14, Jul. 2006.