J. Sakalauskaitė, “Prefixed tableaus for three-valued modal propositional logics”, LMR, vol. 37, no. I, pp. 179–184 , Dec. 1997, doi: 10.15388/LMD.1997.38210.