The Expressiveness of Simple and Second-Order Type StructuresSteven FortuneDaniel Leivantet al.1983Journal of the ACM
Unbounded fan-in circuits and associative functionsAshok K. ChandraSteven Fortuneet al.1985Journal of Computer and System Sciences