Graph grammar

  1. REDIRECTGraph rewriting