Alternation (1981)

by Kozen Chandra, Stockmeyer
Venue:J. ACM