OLDT-based abstract interpretation (1993)

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