Reference:

Dejvuth Suwimonteerabuth, Stefan Schwoon, and Javier Esparza. Efficient algorithms for alternating pushdown systems with an application to the computation of certificate chains. In Susanne Graf and Wenhui Zhang, editors, 4th International Symposium on Automated Technology for Verification and Analysis (ATVA), volume 4218 of Lecture Notes in Computer Science, pages 141–153, Beijing, China, October 2006. Springer.

Suggested BibTeX entry:

@inproceedings{SSE06b,
    address = {Beijing, China},
    author = {Dejvuth Suwimonteerabuth and Stefan Schwoon and Javier Esparza},
    booktitle = {4th International Symposium on Automated Technology for Verification and Analysis (ATVA)},
    editor = {Susanne Graf and Wenhui Zhang},
    month = {October},
    pages = {141--153},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains},
    volume = {4218},
    year = {2006}
}