Abstract Interpretation of Prolog Programs (1987)

by C S Mellish
Venue:In Abstract Interpretation of Declarative Languages, Ellis Horwood Limited