Ashok K. Chandra, Dexter Kozen, Larry J. Stockmeyer. Alternation. Journal of the ACM, 28(1):114-133, 1981. [doi]
@article{ChandraKS81, title = {Alternation}, author = {Ashok K. Chandra and Dexter Kozen and Larry J. Stockmeyer}, year = {1981}, researchr = {https://researchr.org/publication/ChandraKS81}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {28}, number = {1}, pages = {114-133}, }