Solving Regular Tree Grammar Based Constraints.

Yanhong A. Liu, Ning Li, Scott D. Stoller

Browse the full SAS paper archive.