Efficient, proximity-preserving node overlap removal. Gansner, Emden; Hu, Yifan — 2010 Journal of Graph Algorithms and Applications