A. Bossi;M. Bugliesi;M. Fabris
-;-;-
S-semantics for logic programming: A retrospective look
Theoretical Computer Science
Theoretical foundations and semantics of logic programming
A 25-year perspective on logic programming