Mediating for reduction (on minimizing alternating Büchi automata). Aziz Abdulla, P., Chen, Y., Holík, L., & Vojnar, T. Theor. Comput. Sci. (TCS), 552:26-43, 2014.
Mediating for reduction (on minimizing alternating Büchi automata) [link]Paper  bibtex   
@article{ dblp2162212,
  title = {Mediating for reduction (on minimizing alternating Büchi automata)},
  author = {Parosh Aziz Abdulla and Yu-Fang Chen and Lukás Holík and Tomás Vojnar},
  author_short = {Aziz Abdulla, P. and Chen, Y. and Holík, L. and Vojnar, T.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp2162212},
  id = {dblp2162212},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tcs/AbdullaCHV14},
  url = {http://dx.doi.org/10.1016/j.tcs.2014.08.003},
  journal = {Theor. Comput. Sci. (TCS)},
  pages = {26-43},
  volume = {552},
  text = {Theor. Comput. Sci. (TCS) 552:26-43 (2014)}
}

Downloads: 0