Negation as failure

Clark, K. L.

Classics 

In Gallaire, H. and Minker, J. (Eds.), Logic and Data Bases, pp. 293-322. Plenum.