Stephen A. Fenner Steven Homer Randall Pruim Marcus Schaefer Hyper-Polynomial Hierarchies and the NP-Jump. 102-110 http://www.computer.org/proceedings/ccc/7907/79070102abs.htm 1997 IEEE Conference on Computational Complexity db/conf/coco/coco97.html#FennerHPS97