Trees, Automata, and Games

Yuri Gurevich, Leo Harrington

Browse the full STOC paper archive.