A Graph Matching Approach Based on Aggregated Search
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism