A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP - Dovier, Agostino; Pontelli, Enrico (Springer Berlin Heidelberg, 2010)