Maurice Nivat Andreas Podelski Definite tree languages. 186-190 1989 38 Bulletin of the EATCS db/journals/eatcs/eatcs38.html#NivatP89