A Structurally Complete Fragment of Relevant Logic. - John K. Stanley; Robert K. Meyer (Notre Dame J. Formal Log., 1992)