Y. Petrukhin, “Natural Deduction for Three-Valued Regular Logics”, LLP, vol. 26, no. 2, pp. 197–206, Aug. 2016.