M. E. Coniglio and M. Figallo, “Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic”, LLP, vol. 33, no. 2, pp. 171–203, Jan. 2024.