Bottom-up abstract interpretation of logic programs (1994)

by M Codish, D Dams, E Yardani
Venue:Journal of Theoretical Computer Science