Solving Regular Tree Grammar Based Constraints (2000)

by Yanhong A. Liu, Ning Li, Scott D. Stoller
Venue:In Proceedings of the 8th International Static Analysis Symposium