Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel. The Impact of Granularity in Abstract Interpretation of Prolog. In Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy, editors, Static Analysis, Third International Workshop, WSA 93, Padova, Italy, September 22-24, 1993, Proceedings. Volume 724 of Lecture Notes in Computer Science, pages 1-14, Springer, 1993.
Abstract is missing.