Biconnectivity on Symbolically Represented Graphs: A Linear Solution.