Richard Chang Jim Kadin The Boolean Hierarchy and the Polynomial Hierarchy: A Closer Connection. 340-354 1996 25 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp25.html#ChangK96