Bruno Courcelle Fundamental Properties of Infinite Trees. 95-169 1983 25 Theor. Comput. Sci. db/journals/tcs/tcs25.html#Courcelle83