Negation as Failure. Logic and Databases (1978)

by K Clark