Threevalued formalization of logic programming: is it needed (1990)

by Jia-Huai You, Li Yan Yuan
Venue:In Proceedings of the ACM Symposium on Principles of Database Systems