A 25 Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP

Type