Title: The emptiness problem for automata on infinite trees
First published: 1972