Solving pushdown games with a # winning condition (2002)

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, volume 2471 of Lecture Notes in Computer Science