Arnon Avron: Relevance and Paraconsistency - A New Approach, Part III: Cut-Free Gentzen-Type Systems. Notre Dame J. Formal Log. 32(1): 147-160 (1991)