A knowledge representation based on the Belnap's four-valued logic. - Yuri Kaluzhny; Alexei Yu. Muravitsky (J. Appl. Non Class. Logics, 1993)

Deductive Nonmonotonic Inference Operations: Antitonic Representations. - Yuri Kaluzhny; Daniel Lehmann 001 (J. Log. Comput., 1995)