@InProceedings{BagnaraGHZ01a,
  Author = "R. Bagnara and R. Gori and P. M. Hill and E. Zaffanella",
  Title = "Finite-Tree Analysis for Constraint Logic-Based Languages",
  Pages = "165--184",
  Booktitle = "Static Analysis: Proceedings of the 8th International Symposium",
  Address = "Paris, France",
  Year = 2001,
  Editor = "P. Cousot",
  Publisher = "Springer-Verlag, Berlin",
  Series = "Lecture Notes in Computer Science",
  Volume = 2126,
  ISBN = "3-540-42314-1",
}