Yang Cai, Ting Zhang, Haifeng Luo. An Improved Lower Bound for the Complementation of Rabin Automata. In Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA. pages 167-176, IEEE Computer Society, 2009. [doi]