OpenAlex
Rewrite systems for natural, integral, and rational arithmetic
Work