J. Sakalauskaitė, “Tableaus for finitely-valued modal propositional logics”, LMR, vol. 38, no. II, pp. 302–307 , Dec. 1998, doi: 10.15388/LMD.1998.37922.