Alam, A., and M. Moniri. “Models of Bounded Arithmetic Theories and Some Related Complexity Questions”. Bulletin of the Section of Logic, vol. 51, no. 2, June 2022, pp. 163-76, doi:10.18778/0138-0680.2022.03.