Liu, F.F.Moore, D.2025-12-172025-12-171998Information Sciences, 19980020-0255https://hdl.handle.net/1959.8/128115enAn implementation of Kripke-Kleene semanticsJournal article