@InProceedings{BagnaraZGH01,
  Author = "R. Bagnara and E. Zaffanella and R. Gori and P. M. Hill",
  Title = "Boolean Functions for Finite-Tree Dependencies",
  Booktitle = "Proceedings of the 8th International Conference on
           Logic for Programming, Artificial Intelligence and Reasoning
           (LPAR 2001)",
  Address = "Havana, Cuba",
  Editor = "R. Nieuwenhuis and A. Voronkov",
  Publisher = "Springer-Verlag, Berlin",
  Series = "Lecture Notes in Artificial Intelligence",
  Volume = 2250,
  Pages = "575--589",
  Year = 2001,
}