@InProceedings{BagnaraHZ97b,
  Author = "R. Bagnara and P. M. Hill and E. Zaffanella",
  Title = "Set-Sharing is Redundant for Pair-Sharing",
  Booktitle = "Static Analysis: Proceedings of the 4th International Symposium",
  Address = "Paris, France",
  Year = 1997,
  Editor = "P. {Van Hentenryck}",
  Publisher = "Springer-Verlag, Berlin",
  Series = "Lecture Notes in Computer Science",
  Volume = 1302,
  ISBN = "3-540-63468-1",
  Pages ="53--67",
}