@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/}"
}