@string{lmcs="Logical Methods in Computer Science"}
@string{wanwei="see a tighter analysis</a> by <a href=http://dx.doi.org/10.1016/j.ipl.2009.04.022>Wanwei Liu</a> and by <a href=http://dx.doi.org/10.1007/978-3-642-00596-1_13>Sven Schewe</a>"}
@Article{Pit07,
  author = 	 {N. Piterman},
  title = 	 {From Nondeterministic Buchi and Streett Automata to 
Deterministic Parity Automata},
  journal = 	 lmcs,
  year = 	 {2007},
  volume = 	 {3},
  number = 	 {3},
  pages = 	 {5},
  pdf = {http://arxiv.org/pdf/0705.2205},
  ps = {http://arxiv.org/ps/0705.2205},
  url = {http://www.lmcs-online.org/ojs/viewarticle.php?id=247&layout=abstract},
  note = wanwei,
  keywords = {Automata},
}