Abstract Interpretation Based on OLDT Resolution (1993)

by T Kanamori, T Kawamura
Venue:Journal of Logic Programming (JLP