@Article{ZaffanellaHB02TPLP,
  Author = "E. Zaffanella and P. M. Hill and R. Bagnara",
  Title = "Decomposing Non-Redundant Sharing by Complementation",
  Journal = "Theory and Practice of Logic Programming",
  Publisher = "Cambridge University Press",
  Address = "New York",
  ISSN = "1471-0684",
  Volume = 2,
  Number = 2,
  Pages = "233--261",
  Year = 2002,
  ISSN = "1471-0684",
}