@article{Boker:2012:TCM:2362355.2362357,
    Address = {New York, NY, USA},
    Author = {Boker, Udi and Kupferman, Orna},
    File = {Translating to Co-Büchi Made Tight, Unified, and Useful - Boker, Kupferman (0) (0) - a - a - e.pdf},
    ISSN = {1529-3785},
    Journal = {ACM Trans. Comput. Logic},
    Keywords = {B{\"u}chi automata},
    Month = {October},
    Number = {4},
    Pages = {29:1--29:26},
    Publisher = {ACM},
    Title = {Translating to Co-B{\"u}chi Made Tight, Unified, and Useful},
    URL = {http://doi.acm.org/10.1145/2362355.2362357},
    Volume = {13},
    Year = {2012},
    acmid = {2362357},
    articleno = {29},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2362355.2362357},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2362355.2362357},
    date-added = {2013-07-12 10:34:16 +0000},
    date-modified = {2013-07-12 10:34:37 +0000},
    issue_date = {October 2012},
    numpages = {26},
    doi = {10.1145/2362355.2362357}
}

@article{Boker:2012:TCM:2362355.2362357, Address = {New York, NY, USA}, Author = {Boker, Udi and Kupferman, Orna}, File = {Translating to Co-Büchi Made Tight, Unified, and Useful - Boker, Kupferman (0) (0) - a - a - e.pdf}, ISSN = {1529-3785}, Journal = {ACM Trans. Comput. Logic}, Keywords = {B{\"u}chi automata}, Month = {October}, Number = {4}, Pages = {29:1--29:26}, Publisher = {ACM}, Title = {Translating to Co-B{\"u}chi Made Tight, Unified, and Useful}, URL = {http://doi.acm.org/10.1145/2362355.2362357}, Volume = {13}, Year = {2012}, acmid = {2362357}, articleno = {29}, bdsk-url-1 = {http://doi.acm.org/10.1145/2362355.2362357}, bdsk-url-2 = {http://dx.doi.org/10.1145/2362355.2362357}, date-added = {2013-07-12 10:34:16 +0000}, date-modified = {2013-07-12 10:34:37 +0000}, issue_date = {October 2012}, numpages = {26}, doi = {10.1145/2362355.2362357} }