Gianluca Amato Giorgio Levi Abstract Interpretation Based Semantics of Sequent Calculi. 38-57 2000 conf/sas/2000 SAS db/conf/sas/sas2000.html#AmatoL00