We present a term rewriting system for decimal integers with addition and subtraction. We prove that the system is confluent and terminating.

Applicative Programming (acm D.1.1), Semantics of Programming Languages (acm F.3.2)
Theory of computing (msc 68Qxx), Grammars and rewriting systems (msc 68Q42), Abstract data types; algebraic specification (msc 68Q65)
Department of Computer Science [CS]
Computer Systems & Telematics

Walters, H.R. (1994). A complete term rewriting system for decimal integer arithmetic. Department of Computer Science [CS]. CWI.