Pogorzelski, H. A. “Recursive Arithmetic of Skolem II”. Mathematica Scandinavica 11 (June 1, 1962): 156–160. Accessed July 25, 2026. https://journals.msp.org/mscand/article/view/2686.