An Implementation of Kripke-Kleene Semantics. - Faye F. Liu; Douglas H. Moore (Inf. Sci., 1998)