OpenAlex
A compact fixpoint semantics for term rewriting systems
Work