Reference:

Javier Esparza, Stefan Kiefer, and Stefan Schwoon. Abstraction refinement with Craig interpolation and symbolic pushdown systems. In Holger Hermanns and Jens Palsberg, editors, Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2006), pages 489–503, Vienna, Austria, 2006.

Suggested BibTeX entry:

@inproceedings{EKS06b,
    address = {Vienna, Austria},
    author = {Javier Esparza and Stefan Kiefer and Stefan Schwoon},
    booktitle = {Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2006)},
    editor = {Holger Hermanns and Jens Palsberg},
    pages = {489-503},
    title = {Abstraction Refinement with {Craig} Interpolation and Symbolic Pushdown Systems},
    year = {2006}
}