TY - RPRT TI - Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System AU - Arthur Adinayev AU - Itamar Stein PY - 2020 UR - https://arxiv.org/abs/1910.02644 ID - 1910.02644 ER -