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