"An Abstract Interpretation Framework which Accurately Handles Prolog ..."

Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics