%0 Conference Proceedings
%F lls2001
%A Liu, Y.
%A Li, N.
%A Stoller, S.
%T Solving regular tree grammar based constraints
%B Proc. Static Analysis Symposium (SAS)
%P 213-233
%I Springer
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/liu2001.pdf
%D 2001
%K algexp