OpenAlex
Density condensation of Boolean formulas
Work