Fundamental properties of in trees (1983)

by Bruno Courcelle
Venue:Theoretical Computer Science