GraphScape: A Model for Automated Reasoning about Visualization Similarity and Sequencing
Introduction to Algorithms, 3rd Edition