John G. Thistle W. Murray Wonham Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata. 367-382 1991 conf/csl/1991 CSL db/conf/csl/csl91.html#ThistleW91 http://dx.doi.org/10.1007/BFb0023782