@InProceedings{Jur00:STACS,
  author = 	 {Marcin Jurdzi{\'n}ski},
  title = 	 {Small Progress Measures for Solving Parity Games},
  booktitle = 	 {STACS 2000, 17th Annual Symposium on Theoretical Aspects 
                  of Computer Science, Proceedings}, 
  pages = 	 {290--301},
  year = 	 {2000},
  editor = 	 {Horst Reichel and Sophie Tison},
  volume = 	 {1770},
  series = 	 {Lecture Notes in Computer Science},
  address = 	 {Lille, France},
  month = 	 {February},
  publisher =    {Springer-Verlag}
}