Graph searching and a min-max theorem for tree-width
scientific article; zbMATH DE number 572455