OpenAlex
On the efficiency of normal form systems for representing Boolean functions
Work