Many-Valued Semantics for Logic Programming.

Melvin Fitting Many-Valued Semantics for Logic Programming. 23-24 1992 JICSLP db/conf/iclp/iclp92.html#Fitting92