Fundamental Properties of Infinite Trees, Theoret (1983)

by B Courcelle
Venue:Comput. Sci