Reference:

G. Delzanno, J. Esparza, and J. Srba. Monotonic set-extended prefix rewriting and verification of recursive ping-pong protocols. Technical report, BRICS, 2006.

Suggested BibTeX entry:

@techreport{DES06b,
    author = {G. Delzanno and J. Esparza and J. Srba},
    institution = {BRICS},
    title = {Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols},
    year = {2006}
}