3 ms·Are there any nontrivial connections to term rewriting in this work?by texaslonghorn5 4y agoAre there any nontrivial connections to term rewriting in this work?