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