@inproceedings{BKS10, author = "U. Boker and O. Kupferman and A. Steinitz", title = "Parityzing Rabin and Streett", booktitle = fsttcs10, pages = "412-423", year = "2010" }