Abstract interpretation of Prolog programs (0)

by C Mellish
Venue:Abstract Interpretation of Declarative Languages