OpenAlex
The Rewriting Calculus as a Combinatory Reduction System
Work