Pushdown games with unboundedness and regular conditions (2003)

by A Bouquet, O Serre, I Walukiewicz
Venue:Foundations of Software Technology and Theoretical Computer Science (FSTTCS