Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages