Alam A, Moniri M. Models of Bounded Arithmetic Theories and Some Related Complexity Questions. B Sect Log [Internet]. 2022 Jun. 7 [cited 2024 Apr. 20];51(2):163-76. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/8225