Alternation and the Ackermann case of the decision problem (1981)

by M F urer
Venue:L'Enseignment Mathematique