Constructive negation based on the completed database (1988)

by D Chan
Venue:In Fifth International Conference and Symposium on Logic Programming