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