@inproceedings{EmersonJutla:SFCS:1991,
    Address = {Washington, DC, USA},
    Author = {Emerson, E. A. and Jutla, C. S.},
    BookTitle = {Proc. of SFCS'91},
    File = {Tree automata, Mu-Calculus and determinacy - Emerson, Jutla (1) (0) - a - a - o.pdf},
    ISBN = {0-8186-2445-0},
    Keywords = {modal mu-calculus and classic},
    Location = {San Juan, Puerto Rico},
    Pages = {368--377},
    Publisher = {IEEE Computer Society},
    Series = {SFCS '91},
    Title = {Tree automata, Mu-Calculus and determinacy},
    URL = {http://dx.doi.org/10.1109/SFCS.1991.185392},
    Year = {1991},
    acmid = {123332},
    bdsk-url-1 = {http://dx.doi.org/10.1109/SFCS.1991.185392},
    bdsk-url-2 = {http://dl.acm.org/citation.cfm?id=123332},
    date-added = {2013-03-27 14:29:37 +0000},
    date-modified = {2020-08-12 12:42:33 +0200},
    file-2 = {Tree automata, Mu-Calculus and determinacy - Emerson, Jutla (0) (0) - a - a - o.pdf},
    numpages = {10},
    doi = {10.1109/SFCS.1991.185392}
}

@inproceedings{EmersonJutla:SFCS:1991, Address = {Washington, DC, USA}, Author = {Emerson, E. A. and Jutla, C. S.}, BookTitle = {Proc. of SFCS'91}, File = {Tree automata, Mu-Calculus and determinacy - Emerson, Jutla (1) (0) - a - a - o.pdf}, ISBN = {0-8186-2445-0}, Keywords = {modal mu-calculus and classic}, Location = {San Juan, Puerto Rico}, Pages = {368--377}, Publisher = {IEEE Computer Society}, Series = {SFCS '91}, Title = {Tree automata, Mu-Calculus and determinacy}, URL = {http://dx.doi.org/10.1109/SFCS.1991.185392}, Year = {1991}, acmid = {123332}, bdsk-url-1 = {http://dx.doi.org/10.1109/SFCS.1991.185392}, bdsk-url-2 = {http://dl.acm.org/citation.cfm?id=123332}, date-added = {2013-03-27 14:29:37 +0000}, date-modified = {2020-08-12 12:42:33 +0200}, file-2 = {Tree automata, Mu-Calculus and determinacy - Emerson, Jutla (0) (0) - a - a - o.pdf}, numpages = {10}, doi = {10.1109/SFCS.1991.185392} }