Negation as failure. (1978)

by L Clark
Venue:In Herve Gallaire and Jack Minker, editors, Logic and Databases,