TRAM - Term Rewriting Abstract Machine2021-09-28TRSTRAM (Term Rewriting Abstract Machine) is an implementation of term rewriting systems.
