On the equivalence of persistent term rewriting systems and recursive program schemes | IEEE Conference Publication | IEEE Xplore