Three-valued formalization of logic programming: Is it needed (1990)

by J-H You, L Y Yuan
Venue:In Ninth ACM Symposium on Principles of Database Systems