@article{140970,
 author = {Cousot, Patrick and Cousot, Rahida},
 title = {Abstract interpretation and application to logic programs},
 journal = {Journal of Logic Programming},
 volume = {13},
 number = {2-3},
 year = {1992},
 issn = {0743-1066},
 pages = {103--179},
 doi = {http://dx.doi.org/10.1016/0743-1066(92)90030-7},
 publisher = {Elsevier Science Inc.},
   note =    {{\footnotesize (The editor of Journal of Logic Programming{} has mistakenly published the
              unreadable galley proof. For a correct version of this paper, see
              \url{http://www.di.ens.fr/~cousot}.)}},
 }