Proof Figures And Structural Operators For Categorial Grammar. - Guy Barry; Mark Hepple; Neil Leslie; Glyn Morrill (EACL, 1991)

CHR: A Constructive Relevant Natural-deduction Logic. - Neil Leslie; Edwin D. Mares (CATS, 2004)