Decidability of the finiteness of ranges of tree transductions (1998)

by F Drewes, J Engelfriet
Venue:Inf. and Comp