TY  - RPRT
TI  - Tight Upper Bounds for Streett and Parity Complementation
AU  - Yang Cai
AU  - Ting Zhang
PY  - 2011
UR  - https://arxiv.org/abs/1102.2960
ID  - 1102.2960
ER  -