Downward separation fails catastrophically for limited nondeterminism classes | IEEE Conference Publication | IEEE Xplore