An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut.

Baudouin Le Charlier Sabina Rossi Pascal Van Hentenryck An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. 157-171 1994 SLP db/conf/slp/slp94.html#CharlierRH94