Harry Buhrman's tutorial, Lecture 3, Part 1.

Workshop on Computational, Descriptive and Proof Complexity, and Algorithms. Independent University of Moscow, Russia, August 29–31, 2007.