Constructive negation based on the completed database (1988)

by D Chan
Venue:In Proceedings of the Joint International Conference and Symposium on Logic Programming