A. P. Pynko, “Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics”, B Sect Log, vol. 44, no. 3/4, pp. 149–153, Jan. 2015.