OpenAlex
Linearity and iterator types for Gödel’s System
Work