\bibitem{Cousot00-SARA}
P.~Cousot.
\newblock Partial completeness of abstract fixpoint checking, invited paper.
\newblock In B.Y.~Choueiry and T.~Walsh, editors, \emph{Proceedings of the
  Fourth International Symposium on Abstraction, Reformulations and
  Approximation, SARA'2000}, Horseshoe Bay, Texas, USA, Lecture
  Notes in Artificial Intelligence 1864, pages 1--25.  Springer-Verlag,
  Berlin, Germany, 26--29 July 2000.


@inproceedings{Cousot00-SARA,
   author =    {Cousot, P{.}},
   title =     {Partial Completeness of Abstract Fixpoint Checking, invited
                paper},
   pages =     {1--25},
   booktitle = {Proceedings of the Fourth International Symposium on
                Abstraction, Reformulations and Approximation, SARA'2000, 
                Lecture Notes in Artificial Intelligence 1864},
   address =   {Horseshoe Bay, Texas, USA},
   publisher = {Springer-Verlag, Berlin, Germany},
   month =     {26--29 July},
   year =      2000,
}