TY - RPRT TI - A three-valued semantics for logic programmers AU - Lee Naish PY - 2005 UR - https://arxiv.org/abs/cs/0508004 ID - cs/0508004 ER -