Reference:

G. Delzanno, J. Esparza, and J. Srba. Monotonic set-extended prefix rewriting and verification of recursive ping-pong protocols. In Proceedings of ATVA 2006, Beijing, China, 2006.

Suggested BibTeX entry:

@inproceedings{DES06,
    address = {Beijing, China},
    author = {G. Delzanno and J. Esparza and J. Srba},
    booktitle = {Proceedings of ATVA 2006},
    title = {Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols},
    year = {2006}
}