OpenAlex
Finite generation of congruence preserving functions
Work