@InProceedings{VJ00:CAV,
  author = 	 {Jens V{\"{o}}ge and Marcin Jurdzi{\'{n}}ski},
  title = 	 {A Discrete Strategy Improvement Algorithm
                  for Solving Parity Games ({E}xtended Abstract)},
  booktitle = 	 {Computer Aided Verification, 12th International
                  Conference, CAV 2000, Proceedings},
  pages = 	 {202--215},
  year = 	 {2000},
  editor = 	 {E. A. Emerson and A. P. Sistla},
  volume = 	 {1855},
  series = 	 {Lecture Notes in Computer Science},
  address = 	 {Chicago, IL, USA},
  month = 	 {July},
  publisher =    {Springer-Verlag}
}