Melvin Fitting A Kripke-Kleene Semantics for Logic Programs. 295-312 1985 2 J. Log. Program. 4 db/journals/jlp/jlp2.html#Fitting85a