A three-valued semantics for logic programmers

Lee Naish A three-valued semantics for logic programmers http://arxiv.org/abs/cs/0508004 2005 CoRR abs/cs/0508004 db/journals/corr/corr0508.html#abs-cs-0508004 informal publication