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