Alam, A.; Moniri, M. Models of Bounded Arithmetic Theories and Some Related Complexity Questions. B Sect Log 2022, 51 (2), 163-176. https://doi.org/10.18778/0138-0680.2022.03.