DELZANNO, Giorgio; ESPARZA, Javier; SRBA, Jirí. Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. BRICS Report Series, [S. l.], v. 13, n. 14, 2006. DOI: 10.7146/brics.v13i14.21919. Disponível em: https://tidsskrift.dk/brics/article/view/21919. Acesso em: 19 dec. 2025.