A note on realtime one-way synchronized alternating one-counter automata
one-way synchronized alternating one-counter automata
scientific article; zbMATH DE number 166974