1. Asenjo, F.G.: A calculus of antinomies. Notre Dame J. Formal Logic 7, 103–105 (1966)
2. Avron, A.: Natural 3-valued logics—characterization and proof theory. J. Symbol. Logic 56, 276–294 (1991)
3. Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 7–37. Reidel Publishing Company, Dordrecht (1977)
4. Belnap, N.D.: How a computer should think. In: Rule, G. (ed.) Contemporary Aspects of Philosophy, pp. 30–56. Oriel Press, Mumbai (1977)
5. Bolotov, A., Bocharov, V., Gorchakov, A., Shangin, V.: Automated first order natural deduction. In: Proceedings of the 2nd Indian International Conference on Artificial Intelligence, pp. 1292–1311 (2015)