DELZANNO, G.; ESPARZA, J.; SRBA, J. 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: 6 may. 2024.