H. A. Pogorzelski, “Recursive Arithmetic of Skolem II”., Math. Scand., vol. 11, pp. 156–160, Jun. 1962.