Jin-yi Cai Thomas Gundermann Juris Hartmanis Lane A. Hemachandra Vivian Sewelson Klaus W. Wagner Gerd Wechsung The Boolean Hierarchy II: Applications. 95-111 1989 18 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp18.html#CaiGHHSWW89