A Depth-first Algorithm to Reduce Graphs in Linear Time | IEEE Conference Publication | IEEE Xplore