Definitions for "Abstract Rewriting Machine"
The Abstract Rewriting Machine (ARM) is a virtual machine which implements term rewriting for minimal term rewriting systems.