Pogorzelski, H.A. (1962) “Recursive Arithmetic of Skolem II”., Mathematica Scandinavica, 11, pp. 156–160. doi:10.7146/math.scand.a-10662.