Abstract interpretation and application to logic programs (1992)

by P Cousot, R Cousot
Venue:Journal of Logic Programming