Keith L. Clark Negation as Failure. 293-322 1977 Logic and Data Bases db/conf/adbt/adbt77.html#Clark77