Grobner / Buchberger / Knuth Bendix for Semirings and Seven Trees in One

There is a neat paper https://arxiv.org/abs/math/9405205 Seven Trees in One, where it is shown that there is a nice isomorphism between 7 trees and one tree.