OpenAlex
Discriminative Model Checking
Work