Time-space tradeoffs for undirected graph traversal by graph automata
scientific article; zbMATH DE number 987863