Fundamental properties of infinite trees (1983)

by B Courcelle
Venue:Theoretical Computer Science