Petrukhin, Y. Natural Deduction for Three-Valued Regular Logics. LLP 2016, 26, 197-206.