Abstract Interpretation as Automated Deduction

   Abstract