Less obvious relationships between complexity classes (II)

Less obvious relationships between complexity classes (II)

Formulas, branched programs and Barrington's theorem