The Emptiness Problem for Automata on Infinite Trees - R. Hossley; Charles Rackoff (SWAT, 1972)