Search results for automated reasoning graph rewriting