@article{FOGARTY2015136,
    Author = {Fogarty, Seth and Kupferman, Orna and Vardi, Moshe Y. and Wilke, Thomas},
    File = {1-s2.0-S0890540115000772-main (0) - a - a - i.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {Automata theory, Omega-automata, B{\"u}chi determinization, B{\"u}chi profiles},
    Pages = {136 - 151},
    Title = {Profile trees for B{\"u}chi word automata, with application to determinization},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540115000772},
    Volume = {245},
    Year = {2015},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540115000772},
    bdsk-url-2 = {https://doi.org/10.1016/j.ic.2014.12.021},
    date-added = {2018-03-01 15:02:42 +0000},
    date-modified = {2018-08-30 15:20:53 +0000},
    doi = {10.1016/j.ic.2014.12.021}
}

@article{FOGARTY2015136, Author = {Fogarty, Seth and Kupferman, Orna and Vardi, Moshe Y. and Wilke, Thomas}, File = {1-s2.0-S0890540115000772-main (0) - a - a - i.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {Automata theory, Omega-automata, B{\"u}chi determinization, B{\"u}chi profiles}, Pages = {136 - 151}, Title = {Profile trees for B{\"u}chi word automata, with application to determinization}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540115000772}, Volume = {245}, Year = {2015}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540115000772}, bdsk-url-2 = {https://doi.org/10.1016/j.ic.2014.12.021}, date-added = {2018-03-01 15:02:42 +0000}, date-modified = {2018-08-30 15:20:53 +0000}, doi = {10.1016/j.ic.2014.12.021} }