Infinite trees in normal form and recursive equations having a unique solution (1979)

by B Courcelle
Venue:Math. Systems Theory