@inproceedings{Liu:Li:Stoller:2001,
author="Yanhong A. Liu and Ning Li and Scott D. Stoller",
title="Solving Regular Tree Grammar Based Constraints",
booktitle="Proc.\ 8th Int'l.\ Static Analysis Symposium (SAS)",
year=2001,
month=jul,
publisher="Springer-Verlag",
series="Lecture Notes in Computer Science",
volume=2126,
pages="213-233"
}