A three-valued semantics for logic programmers.

Lee Naish A three-valued semantics for logic programmers. 509-538 2006 6 TPLP 5 http://dx.doi.org/10.1017/S1471068406002742 db/journals/tplp/tplp6.html#Naish06