@chapter{KarmarkarChakraborty,
    Author = {Karmarkar, Hrishikesh and Chakraborty, Supratik},
    BookTitle = {Automated Technology for Verification and Analysis},
    File = {On Minimal Odd Rankings for Büchi Complementation - Karmarkar, Chakraborty (2) (0) - a - a - g.pdf},
    Keywords = {complementation of Buechi automata},
    Pages = {228--243},
    Series = {Lecture Notes in Computer Science},
    Title = {On Minimal Odd Rankings for B{\"u}chi Complementation},
    Volume = {5799},
    Year = {2009},
    bdsk-url-1 = {http://www.springerlink.com/content/3u847k00q81k6141/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-04761-9\_18},
    date-added = {2012-05-04 09:14:56 +0200},
    date-modified = {2012-05-04 07:15:22 +0000},
    file-2 = {On Minimal Odd Rankings for Büchi Complementation - Karmarkar, Chakraborty (3) (0) - a - a - g.pdf},
    file-3 = {On Minimal Odd Rankings for Büchi Complementation - Karmarkar, Chakraborty (0) (0) - a - a - g.pdf},
    doi = {10.1007/978-3-642-04761-9_18}
}

@chapter{KarmarkarChakraborty, Author = {Karmarkar, Hrishikesh and Chakraborty, Supratik}, BookTitle = {Automated Technology for Verification and Analysis}, File = {On Minimal Odd Rankings for Büchi Complementation - Karmarkar, Chakraborty (2) (0) - a - a - g.pdf}, Keywords = {complementation of Buechi automata}, Pages = {228--243}, Series = {Lecture Notes in Computer Science}, Title = {On Minimal Odd Rankings for B{\"u}chi Complementation}, Volume = {5799}, Year = {2009}, bdsk-url-1 = {http://www.springerlink.com/content/3u847k00q81k6141/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-642-04761-9_18}, date-added = {2012-05-04 09:14:56 +0200}, date-modified = {2012-05-04 07:15:22 +0000}, file-2 = {On Minimal Odd Rankings for Büchi Complementation - Karmarkar, Chakraborty (3) (0) - a - a - g.pdf}, file-3 = {On Minimal Odd Rankings for Büchi Complementation - Karmarkar, Chakraborty (0) (0) - a - a - g.pdf}, doi = {10.1007/978-3-642-04761-9_18} }