CP-index: on the efficient indexing of large graphs
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism