G
[GH82] Yuri Gurevich and Leo Harrington. Trees, automata and games. In STOC'82, pages 60-65. ACM Press, May 1982. 
@inproceedings{stoc1982-GH,
  author =              {Gurevich, Yuri and Harrington, Leo},
  title =               {Trees, automata and games},
  booktitle =           {{P}roceedings of the 14th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'82)},
  acronym =             {{STOC}'82},
  publisher =           {ACM Press},
  pages =               {60-65},
  year =                {1982},
  month =               may,
}
List of authors