Improved complement for two-way alternating automata

From MaRDI portal
Publication:2675811