@Article{HillBZ02TPLP,
  Author = "P. M. Hill and R. Bagnara and E. Zaffanella",
  Title = "Soundness, Idempotence and Commutativity of Set-Sharing",
  Journal = "Theory and Practice of Logic Programming",
  Publisher = "Cambridge University Press",
  Address = "New York",
  ISSN = "1471-0684",
  Volume = 2,
  Number = 2,
  Pages = "155-201",
  Year = 2002,
}