N. Obeid, “Three-Values Logic and Non-Monotonic Reasoning”, Comput. Inform., vol. 15, no. 6, pp. 509–530, Mar. 2012.