Closure of recognisable tree-languages under intersection and morphisms.

Jocelyne Mongy Closure of recognisable tree-languages under intersection and morphisms. 135-149 1980 CLAAP conf/caap/1980 db/conf/caap/caap80.html#Mongy80