Pogorzelski, H.A. 1962. Recursive Arithmetic of Skolem II. MATHEMATICA SCANDINAVICA. 11, (Jun. 1962), 156–160. DOI:https://doi.org/10.7146/math.scand.a-10662.