On reversal bounded alternating Turing machines

From MaRDI portal
Publication:1102114