Lower bounds for computation with limited nondeterminism | IEEE Conference Publication | IEEE Xplore