NPTEL Video Course : NOC:Computational Complexity Theory

Lecture 13 - Equivalence of Quantifier and Oracle Based Definitions of Polynomial Hierarchy