Solving pushdown games with a Σ3-winning condition (2013)

by T Cachat, J Duparc, W Thomas
Venue:In Proceedings of the 11th Annual Conference of the European Association for Computer Science Logic, CSL 2002