Künzi, Urs-Martin (1993). Logic Programs for Primitive Recursive Sets. Journal of logic and computation, 3(4), pp. 401-415. Oxford University Press 10.1093/logcom/3.4.401
