@INCOLLECTION{AmatoS01,
  author = {Gianluca Amato and Fausto Spoto},
  title = {Abstract Compilation for Sharing Analysis},
  booktitle = {Functional and Logic Programming, 5th International Symposium, FLOPS
        2001 Tokyo, Japan, March 7--9, 2001 Proceedings},
  publisher = {Springer},
  year = {2001},
  editor = {Herbert Kuchen and Kazunori Ueda},
  volume = {2024},
  series = {Lecture Notes in Computer Science},
  pages = {311--325},
  month = mar,
  doi = {10.1007/3-540-44716-4{\_}20},
  isbn = {978-3-540-41739-2}
}