@article{brad:sema03,
  author	= {Ross Brady},
  title		= {Semantic Decision Procedures for Some Relevant Logics},
  journal	= {The Australasian Journal of Logic},
  year		= 2003,
  volume	= 1,
  pages		= {4--27},
  URL		= {http://www.philosophy.unimelb.edu.au/ajl/2003/},
}