A discussion on the history of research in arithmetic and Reed-Muller expressions
This paper discusses early work by Komamiya in Reed-Muller and arithmetic expressions for switching functions.
reed-muller expression arithmetic expression adder boolean expression exor reed-muller transform