Restall, Greg. " Models for Substructural Arithmetics." The Australasian Journal of Logic [Online], 8 (2011): n. pag. Web. 20 Oct. 2019