OpenAlex
Introducing complexity to formal testing
Work