From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata | IEEE Conference Publication | IEEE Xplore