AK Chandra,
DC Kozen, LJ Stockmeyer - Journal of the ACM (JACM), 1981 - dl.acm.org
Alternation is a generalization of nondeterminism in which existential and universal
quantitiers can alternate during the course of a computation, whereas in a nondeterministic …