Abstract interpretation for (constraint) logic programming (1994)

by M BRUYNOOGHE, D BOULANGER
Venue:III Constraint Programming