Section 13.2

Circuits and Straight-Line Programs