A Simple Algorithm for Subgraph Queries in Big Graphs.
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism