Delzanno, G.; Esparza, J.; Srba, J. Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. BRICS 2006, 13.