@misc{indiciae1ca8671970c0,
  title = {Enhanced sharing analysis techniques: a comprehensive evaluation},
  author = {Roberto Bagnara and Enea Zaffanella and Patricia M. Hill},
  year = {2004},
  url = {https://arxiv.org/abs/cs/0401022},
  note = {Source identifier: cs/0401022}
}