G. Delzanno, J. Esparza, og J. Srba, “Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols”, BRICS, bd. 13, nr. 14, jul. 2006.