TY  - RPRT
TI  - State of Büchi Complementation
AU  - Ming-Hsien Tsai
AU  - Seth Fogarty
AU  - Moshe Y. Vardi
AU  - Yih-Kuen Tsay
PY  - 2014
DO  - 10.2168/lmcs-10(4:13)2014
UR  - https://arxiv.org/abs/1406.4575
ID  - 1406.4575
ER  -