@INCOLLECTION{AmatoL00,
  author = {Gianluca Amato and Giorgio Levi},
  title = {Abstract Interpretation Based Semantics of Sequent Calculi},
  booktitle = {Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara,
        CA, USA, June 29 - July 1, 2000, Proceedings},
  publisher = {Springer},
  year = {2000},
  editor = {Jens Palsberg},
  volume = {1824},
  series = {Lecture Notes in Computer Science},
  pages = {38--57},
  doi = {10.1007/b87738},
  isbn = {978-3-540-67668-6}
}