avatar_hypergraph_rewriting (cargo): Hypergraph rewriting system with avatars for symbolic distinction
Keywords: hypergraph|rewriting|advancedresearch|avatar|wolfram