@article{rest:mode10,
  author	=	{Greg Restall},
  title	=	{Models for Substructural Arithmetics},
  journal	=	{The Australasian Journal of Logic},
  year	=	2010,
  volume	=	8,
  pages	=	{82-99},
  URL	=	{http://www.philosophy.unimelb.edu.au/ajl/2010/},
}