Combinatorial applications of diamond lemma Posted by richrow, at math.stackexchange.com, 13 Aug 2019 Recently, I found the following presentation by Darij Grinberg about applications of diamond lemma. Here is the link: http://www.