Greg Barnes Jeff Edmonds Time-Space Lower Bounds for Directed st-Connectivity on Graph Automata Models. 1190-1202 1998 27 SIAM J. Comput. 4 db/journals/siamcomp/siamcomp27.html#BarnesE98 http://epubs.siam.org/sam-bin/dbq/article/29440