Greg Barnes Jonathan F. Buss Walter L. Ruzzo Baruch Schieber A Sublinear Space, Polynomial Time Algorithm for Directed s-t Connectivity 27-33 1992 Structure in Complexity Theory Conference db/conf/coco/coco92.html#BarnesBRS92