Negation as failure (1978)

by K L Clark
Venue:In Logic and Data