Alam, Abolfazl, and Morteza Moniri. “Models of Bounded Arithmetic Theories and Some Related Complexity Questions”. Bulletin of the Section of Logic 51, no. 2 (June 7, 2022): 163–176. Accessed December 1, 2022. https://czasopisma.uni.lodz.pl/bulletin/article/view/8225.