Neil Tennant Ultimate Normal Forms for Parallelized Natural Deductions. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2002, v:10, n:3, pp:299-337 [Journal]
Neil Tennant On Having Bad Contractions (invited paper). [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 1997, v:7, n:2, pp:- [Journal]
Neil Tennant Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1987, v:52, n:3, pp:665-680 [Journal]
Neil Tennant Truth Table Logic, with a Survey of Embeddability Results. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1989, v:30, n:3, pp:459-484 [Journal]