Obeid, N. Three-Values Logic and Non-Monotonic Reasoning. Comput. Inform. 2012, 15, 509-530.