Implementing Progress Indicators for Recursive Algorithms. - Dave A. Berque; Mark K. Goldberg; Jeffrey A. Edmonds (SAC, 1993)

Time-space lower bounds for undirected and directed st-connectivity on JAG models. - Jeffrey A. Edmonds (1993)