Pogorzelski HA. Recursive Arithmetic of Skolem II. Math. Scand. 1962;11:156-160. doi:10.7146/math.scand.a-10662