Solving regular tree grammar based constraints (2001)

by Y A Liu, N Li, S D Stoller
Venue:In Proceedings of the 8th International Static Analysis Symposium