Delzanno, Giorgio, Javier Esparza, and Jirí Srba. “Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols”. BRICS Report Series 13, no. 14 (July 12, 2006). Accessed May 6, 2024. https://tidsskrift.dk/brics/article/view/21919.