Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) ROSS T. B.,Gentzenization and Decidability of Some Contraction-Less Relevant Logic,Jouranal of Philosophical Logic,,,1991,20,,97-118,https://cir.nii.ac.jp/crid/1570291226457223296,https://doi.org/10.1007/bf00454743