OpenAlex
Affine systems of equations and counting infinitary logic
Work