@Article{BagnaraGHZ04IC,
  Author = "R. Bagnara and R. Gori and P. M. Hill and E. Zaffanella",
  Title = "Finite-Tree Analysis for Constraint Logic-Based Languages",
  Journal = "Information and Computation",
  Year = 2004,
  Volume = 193,
  Number = 2,
  Pages = "84-116",
  Publisher = "Elsevier",
}