3 R. Thurimella 1997 Sub-Linear Algorithms for Sparse Certificates and Biconnected Components 14th ACM Symposium on Principles of Distributed Computing http://www.cs.du.edu/~ramki/papers/distCerts.pdf