Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck. An Abstract Interpretation Framework for (almost) Full Prolog. In María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1. pages 92-106, 1994.
Abstract is missing.