@TechReport{HillZB01TR, Author = "P. M. Hill and E. Zaffanella and R. Bagnara", Title = "A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages", Number = 273, Type = "Quaderno", Institution = "Dipartimento di Matematica, Universit\`a di Parma, Italy", Year = 2001, Note = "Available at \url{http://www.cs.unipr.it/Publications/}. Also published as technical report No.~2001.22, School of Computing, University of Leeds, U.K." }