1. Anderson, A.R., Belnap, N.D., ‘First degree entailments’, Mathematische Annalen, 149: 302–319, 1963.
2. Anderson, A.R., Belnap, N.D., Entailment, vol. 1, Princeton University Press, Princeton NJ, 1975.
3. Avron, A., ‘Natural 3-valued logics: Characterization and proof theory’, The Journal of Symbolic Logic, 56: 276–294, 1991.
4. Avron, A., ‘Logical Non-determinism as a tool for logical modularity: an introduction’, in Artemov, S., Barringer, H., d’Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.), We Will Show Them: Essays in Honor of Dov Gabbay, vol. 1, College Publications, Ithaca, NY, 2005, pp. 105–124.
5. Avron, A., Lev, I., ‘Canonical propositional Gentzen-type systems’, in Goré, R., Leitsch, A., Nipkow, T., Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR 2001), LNAI, vol. 2083, Springer Verlag, 2001, pp. 529–544.