Negation as Failure

Keith L. Clark. Negation as Failure. In Logic and Data Bases. pages 293-322, 1977.

Abstract

Abstract is missing.