Annalisa Bossi, Maria Chiara Meo. Theoretical Foundations and Semantics of Logic Programming. In Agostino Dovier, Enrico Pontelli, editors, A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Volume 6125 of Lecture Notes in Computer Science, pages 15-36, Springer, 2010. [doi]
Abstract is missing.