A note on E. - Aleksandar Kron (Notre Dame J. Formal Log., 1972)

Erratum: "A note on E". - Aleksandar Kron (Notre Dame J. Formal Log., 1974)

Deduction Theorems for T, E and R Reconsidered. - Aleksandar Kron (Math. Log. Q., 1976)

A Constructive Proof of a Theorem in Relevance Logic. - Aleksandar Kron (Math. Log. Q., 1985)

Four relevant Gentzen systems. - Steve Giambrone; Aleksandar Kron (Stud Logica, 1987)