Pogorzelski, H.A. (1962) “Recursive Arithmetic of Skolem”., Mathematica Scandinavica, 11, pp. 33–36. doi:10.7146/math.scand.a-10647.