Restall, G. 2010 Sep 22. Models for Substructural Arithmetics. The Australasian Journal of Logic. [Online] 8: