Roberto Bagnara Roberta Gori Patricia M. Hill Enea Zaffanella Finite-Tree Analysis for Constraint Logic-Based Languages. 165-184 2001 conf/sas/2001 SAS http://link.springer.de/link/service/series/0558/bibs/2126/21260165.htm db/conf/sas/sas2001.html#BagnaraGHZ01