Y. Petrukhin, “Natural Deduction for Four-Valued both Regular and Monotonic Logics”, LLP, vol. 27, no. 1, pp. 53–66, Jan. 2017.