Distributed graph pattern matching via bounded dual simulation.