Isolation Lemma for Directed Reachability and NL vs. L
Complexity Classes and the Graph Isomorphism Problem