Using bounded query classes to separate classes in the exponential time hierarchy from classes in PH | IEEE Conference Publication | IEEE Xplore