Giorgio Delzanno;Maurizio Martelli
-;-
S-semantics for logic programming: A retrospective look
Theoretical Computer Science