https://5dok.org/document/lq593jrz-critical-pairs-in-network-rewriting.html