Reference:

Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, and Andrey Rybalchenko. A constraint-based approach to solving games on infinite graphs. In POPL, pages 221–234, January 2014.

Suggested BibTeX entry:

@inproceedings{PopeeaPOPL14,
    author = {Tewodros A. Beyene and Swarat Chaudhuri and Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {POPL},
    month = {January},
    pages = {221-234},
    title = {A constraint-based approach to solving games on infinite graphs},
    year = {2014}
}