1. Baaz, M., Fermüller, C., Zach, R. (1994). Elimination of cuts in first-order finite-valued logics. Journal of Information Processing and Cybernetics, 29, 333–355.
2. Beckert, B., & Posegga, J. (1995). lean T A P: Lean Tableau-based deduction. Journal of Automated Reasoning, 15 (3), 339–358. http://web.sec.uni-passau.de/papers/LeanTaP.pdf .
3. Belnap, N.D. (1976). How a computer should think. In G. Ryle (Ed.), Contemporary aspects of philosophy (pp. 30–56). Stocksfield: Oriel Press.
4. Belnap, N.D. (1977). A useful four-valued logic. In J. Dunn, & G. Epstein (Eds.), Modern uses of multiple-valued logic (pp. 8–37). Dordrecht: Reidel.
5. Kamide, N., & Wansing, H. (2009). Sequent calculi for some trilattice logics. The Review of Symbolic Logic, 2(2), 374–395.