@InProceedings{ZaffanellaHB99,
  Author = "E. Zaffanella and P. M. Hill and R. Bagnara",
  Title = "Decomposing Non-Redundant Sharing by Complementation",
  Pages = "69--84",
  Booktitle = "Static Analysis: Proceedings of the 6th International Symposium",
  Address = "Venice, Italy",
  Year = 1999,
  Editor = "A. Cortesi and G. Fil\'e",
  Publisher = "Springer-Verlag, Berlin",
  Series = "Lecture Notes in Computer Science",
  Volume = 1694,
  ISBN = "3-540-66459-9",
}