Macro tree translations of linear size increase are MSO definable (0)

by J Engelfriet, S Maneth
Venue:SIAM Journal of Computers