Evolution Strategies to Improve Abstract
Interpretation Algorithms for Logic Programming
K. Musumbu, K. Barbar, and M. Nassif. Late Breaking Papers at the 1997 Genetic Programming
Conference, Stanford University, CA, USA, Stanford Bookstore, (13--16 July 1997)