'Classical' negation in nonmonotonic reasoning and logic programming

Citation:
Alferes, {José Júlio Alves}. "'Classical' negation in nonmonotonic reasoning and logic programming." Journal Of Automated Reasoning. 20 (1998): 107-142.

Abstract:

n/a

Notes:

n/a