A Kripke-Kleene Logic over General Logic Programs.

Vladimir Kuznetsov A Kripke-Kleene Logic over General Logic Programs. 70-81 1994 conf/ki/1994 KI db/conf/ki/ki94.html#Kuznetsov94