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

by Frank Drewes, Joost Engelfriet
Venue:Inform. and Comput