Jin-yi Cai Thomas Gundermann Juris Hartmanis Lane A. Hemachandra Vivian Sewelson Klaus W. Wagner Gerd Wechsung The Boolean Hierarchy I: Structural Properties. 1232-1252 1988 17 SIAM J. Comput. 6 db/journals/siamcomp/siamcomp17.html#CaiGHHSWW88