Michel Parigot Automata, Games, and Positive Monadic Theories of Trees. 44-57 1987 conf/fsttcs/1987 FSTTCS db/conf/fsttcs/fsttcs87.html#Parigot87 http://dx.doi.org/10.1007/3-540-18625-5_41