A finite 5-pebble-automaton can search every maze
scientific article; zbMATH DE number 3810935