@article{brad:arej08, author = {Ross T. Brady}, title = {A Rejection System for the First-Degree Formulae of some Relevant Logics}, journal = {The Australasian Journal of Logic}, year = 2008, volume = 6, pages = {55--69}, URL = {http://www.philosophy.unimelb.edu.au/ajl/2008/}, }