Combinations of Abstract Domains for Logic Programming.

Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck

Browse the full POPL paper archive.