Regular tree language recognition with static information (2004)

by A Frisch
Venue:In Proc. of the 3rd IFIP Conference on Theoretical Computer Science (TCS