Dexter C. Kozen
Ashok K. Chandra, Dexter C. Kozen, and Larry J. Stockmeyer.
Alternation.
Journal of the ACM
, 28(1):114-133, January 1981.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database