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.