A. Alam and M. Moniri, “Models of Bounded Arithmetic Theories and Some Related Complexity Questions”, B Sect Log, vol. 51, no. 2, pp. 163–176, Jun. 2022, doi: 10.18778/0138-0680.2022.03.