Using Determinancy of Games to Eliminate Quantifiers.

J. Richard Bchi

Browse the full FCT paper archive.