(1)
Alam, A.; Moniri, M. Models of Bounded Arithmetic Theories and Some Related Complexity Questions. B Sect Log 2022, 51, 163-176.