Decidability of the finiteness of ranges of tree transductions
scientific article; zbMATH DE number 1220695
scientific article