@article{Emerson:1987:UIT:31155.31157,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Emerson, E. Allen},
    File = {Uniform inevitability is tree automaton ineffable - Emerson (0) (0) - a - a - j.pdf},
    ISSN = {0020-0190},
    Journal = {Inf. Process. Lett.},
    Keywords = {tree automata},
    Month = {January},
    Number = {2},
    Pages = {77--79},
    Publisher = {Elsevier North-Holland, Inc.},
    Title = {Uniform inevitability is tree automaton ineffable},
    URL = {http://dx.doi.org/10.1016/0020-0190(87)90097-4},
    Volume = {24},
    Year = {1987},
    acmid = {31157},
    bdsk-url-1 = {http://dx.doi.org/10.1016/0020-0190(87)90097-4},
    date-added = {2013-07-22 16:37:58 +0000},
    date-modified = {2013-07-22 16:38:48 +0000},
    issue_date = {January 1987},
    numpages = {3},
    doi = {10.1016/0020-0190(87)90097-4}
}

@article{Emerson:1987:UIT:31155.31157, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Emerson, E. Allen}, File = {Uniform inevitability is tree automaton ineffable - Emerson (0) (0) - a - a - j.pdf}, ISSN = {0020-0190}, Journal = {Inf. Process. Lett.}, Keywords = {tree automata}, Month = {January}, Number = {2}, Pages = {77--79}, Publisher = {Elsevier North-Holland, Inc.}, Title = {Uniform inevitability is tree automaton ineffable}, URL = {http://dx.doi.org/10.1016/0020-0190(87)90097-4}, Volume = {24}, Year = {1987}, acmid = {31157}, bdsk-url-1 = {http://dx.doi.org/10.1016/0020-0190(87)90097-4}, date-added = {2013-07-22 16:37:58 +0000}, date-modified = {2013-07-22 16:38:48 +0000}, issue_date = {January 1987}, numpages = {3}, doi = {10.1016/0020-0190(87)90097-4} }