@inproceedings{DBLP:conf/fct/Buchi77,
  author    = {J. Richard B{\"u}chi},
  title     = {Using Determinancy of Games to Eliminate Quantifiers},
  booktitle = {FCT},
  year      = {1977},
  pages     = {367-378},
  ee        = {http://dx.doi.org/10.1007/3-540-08442-8_104},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}