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