P
Initializing...
Finite ordered DFS executions satisfy the local forest invariants · Prove2Me