An Improved Lower Bound for the Complementation of Rabin Automata | IEEE Conference Publication | IEEE Xplore