@Techreport{BagnaraGHZ04TR, Author = "R. Bagnara and R. Gori and P. M. Hill and E. Zaffanella", Title = "Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version", Number = 363, Type = "Quaderno", Institution = "Dipartimento di Matematica, Universit\`a di Parma, Italy", Year = 2004, Note = "Available at \url{http://www.cs.unipr.it/Publications/}. Also published as {\tt arXiv:cs.PL/0404055}, available from \url{http://arxiv.org/}" }