OpenAlex
Punctual definability on structures
Work