Abstract interpretation based on oldt resolution (0)

by T Kanamori, T Kawamura