OpenAlex
Constructing small tree grammars and small circuits for formulas
Work