@article{1183745007,
author = {Brady, Ross T.},
title = {Gentzenizations of Relevant Logics with Distribution},
journal = {J. Symbolic Logic},
volume = {61},
number = {1},
year = {1996},
pages = { 402-420},
language = {en},
url = {http://dml.mathdoc.fr/item/1183745007}
}
Brady, Ross T. Gentzenizations of Relevant Logics with Distribution. J. Symbolic Logic, Tome 61 (1996) no. 1, pp. 402-420. http://gdmltest.u-ga.fr/item/1183745007/