Negation as Failure, in Logic and (1978)

by K Clark