Restall, Greg. " Models for Substructural Arithmetics" The Australasian Journal of Logic [Online], Volume 8(22 September 2010)