On the arithmetic inexpressiveness of term rewriting systems | IEEE Conference Publication | IEEE Xplore