The quantifier structure of sentences that characterize nondeterministic time complexity | IEEE Conference Publication | IEEE Xplore