OpenAlex
Conservative Extensions in Guarded and Two-Variable Fragments.
Work