\bibitem{CousotEtAL09-GiorgioFestschrift}
P.~Cousot, R.~Cousot, and R.~Giacobazzi.
\newblock Abstract interpretation of resolution-based semantics.
\newblock In \emph{Abstract Interpretation and Logic Programming: In honor of 
          professor Giorgio Levi},  M.~Falaschi, M.~Gabbrielli, \& 
          C.~Palamidessi (Eds), pages 4724--4746, Theoretical Computer Science, 
          volume 410, Issue 46, Elsevier B.V., 1 Nov. 2009.

@inCollection{CousotEtAL09-GiorgioFestschrift,
   author =    {Cousot, P{.} and Cousot, R{.} and Giacobazzi, R{.}},
   title =     {Abstract interpretation of resolution-based semantics},
   booktitle = {Abstract Interpretation and Logic Programming: In honor of 
                professor Giorgio Levi},
   editor =    {M. Falaschi, M. Gabbrielli, and C. Palamidessi},
   year =      2009,
   series =    {Theoretical Computer Science},
   month =     nov,
   volume =    {410},
   number =    {46},
   pages =     {4724--4746},
   publisher = {Elsevier B.V.},
   doi =       {doi:10.1016/j.tcs.2009.07.040},
}