@article{Emerson:1999:CTA:330358.330364,
    Address = {Philadelphia, PA, USA},
    Author = {Emerson, E. Allen and Jutla, Charanjit S.},
    File = {The Complexity of Tree Automata and Logics of Programs - Emerson, Jutla (0) (0) - a - a - s.pdf},
    ISSN = {0097-5397},
    Journal = {SIAM J. Comput.},
    Keywords = {complexity, games, logics of programs, tree automata},
    Month = {September},
    Number = {1},
    Pages = {132--158},
    Publisher = {Society for Industrial and Applied Mathematics},
    Title = {The Complexity of Tree Automata and Logics of Programs},
    URL = {http://dx.doi.org/10.1137/S0097539793304741},
    Volume = {29},
    Year = {1999},
    acmid = {330364},
    bdsk-url-1 = {http://dx.doi.org/10.1137/S0097539793304741},
    date-added = {2013-12-18 10:57:24 +0000},
    date-modified = {2013-12-18 10:57:24 +0000},
    issue_date = {Feb. 2000},
    numpages = {27},
    doi = {10.1137/S0097539793304741}
}

@article{Emerson:1999:CTA:330358.330364, Address = {Philadelphia, PA, USA}, Author = {Emerson, E. Allen and Jutla, Charanjit S.}, File = {The Complexity of Tree Automata and Logics of Programs - Emerson, Jutla (0) (0) - a - a - s.pdf}, ISSN = {0097-5397}, Journal = {SIAM J. Comput.}, Keywords = {complexity, games, logics of programs, tree automata}, Month = {September}, Number = {1}, Pages = {132--158}, Publisher = {Society for Industrial and Applied Mathematics}, Title = {The Complexity of Tree Automata and Logics of Programs}, URL = {http://dx.doi.org/10.1137/S0097539793304741}, Volume = {29}, Year = {1999}, acmid = {330364}, bdsk-url-1 = {http://dx.doi.org/10.1137/S0097539793304741}, date-added = {2013-12-18 10:57:24 +0000}, date-modified = {2013-12-18 10:57:24 +0000}, issue_date = {Feb. 2000}, numpages = {27}, doi = {10.1137/S0097539793304741} }