Fundamental properties of infinite trees, Theoretical Computer Science 25 (1983)

by B Courcelle