A hierarchy of monotone deterministic non-forgetting restarting automata
scientific article; zbMATH DE number 5871615
scientific article