Negation as failure (1978)

by K L Clark
Venue:In: Proc. ADBT’77