@InProceedings{BagnaraZH00,
  Author = "R. Bagnara and P. M. Hill and E. Zaffanella",
  Title = "Efficient Structural Information Analysis for Real {CLP} Languages",
  Booktitle = "Proceedings of the 7th International Conference
               on Logic for Programming and Automated Reasoning",
  Address = "Reunion Island, France",
  Editor = "M. Parigot and A. Voronkov",
  Publisher = "Springer-Verlag, Berlin",
  Series = "Lecture Notes in Computer Science",
  Volume = 1955,
  Pages = "189--206",
  Year = 2000,
}

@TechReport{BagnaraHZ00TRa,
  Author = "R. Bagnara and P. M. Hill and E. Zaffanella",
  Title = "Efficient Structural Information Analysis for Real {CLP} Languages",
  Year = 2000,
  Institution = "Dipartimento di Matematica, Universit\`a di Parma",
  Note = "Available at \url{http://www.cs.unipr.it/~bagnara/}",
  Type = "Quaderno",
}