Counting quantifiers, successor relations, and logarithmic space (1997)

by Kousha Etessami
Venue:J. Comput. Syst. Sci