@article{roy:natu06,
  author	= {Tony Roy},
  title		= {Natural Derivations for Priest, \emph{An Introduction to Non-Classical Logic}},
  journal	= {The Australasian Journal of Logic},
  year		= 2006,
  volume	= 4,
  pages		= {47-192},
  URL		= {http://www.philosophy.unimelb.edu.au/ajl/2006/},
}