Set-Sharing is Redundant for Pair-Sharing

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella. Set-Sharing is Redundant for Pair-Sharing. In Pascal Van Hentenryck, editor, Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings. Volume 1302 of Lecture Notes in Computer Science, pages 53-67, Springer, 1997.

@inproceedings{BagnaraHZ97:0,
  title = {Set-Sharing is Redundant for Pair-Sharing},
  author = {Roberto Bagnara and Patricia M. Hill and Enea Zaffanella},
  year = {1997},
  researchr = {https://researchr.org/publication/BagnaraHZ97%3A0},
  cites = {0},
  citedby = {0},
  pages = {53-67},
  booktitle = {Static Analysis, 4th International Symposium, SAS  97, Paris, France, September 8-10, 1997, Proceedings},
  editor = {Pascal Van Hentenryck},
  volume = {1302},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63468-1},
}