@inproceedings{parity07,
  author    = {Luca de Alfaro and
               Marco Faella},
  title     = {An Accelerated Algorithm for 3-Color Parity Games with an
               Application to Timed Games},
  booktitle = {CAV},
  year      = {2007},
  pages     = {108-120},
  series    = {Lecture Notes in Computer Science},
  volume    = {4590},
  year      = {2007},
  isbn      = {978-3-540-73367-6},
  publisher = {Springer}
}