@inproceedings{HKP13b,
  author    = {M. Huth and J. H. Kuo and N. Piterman},
  title     = {The Rabin index of parity games},
  year      = {2013},
  pages     = {35-49},
  booktitle     = {4th International Symposium on Games, Automata,
               Logics and Formal Verification},
  address = {Borca di Cadore, Dolomites, Italy},
  month = {August},
  series    = {EPTCS},
  pdf = {2013/HKP13b.pdf},
  volume    = {119},
}