An efficient algorithm for stopping on a sink in a directed graph

From MaRDI portal
Publication:2450610