A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / ed. A. Dovier, 2010 r=on-line. - Текст : электронный.