Maurizio Gabbrielli;Giorgio Levi;Daniele Turi
-;-;-
S-semantics for logic programming: A retrospective look
Theoretical Computer Science