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.