News for hackers. Stuff that matters.
Re:Recognizing when two arithmetic expressions are essential... by coolio222 on Thursday August 24, 2017 @05:01AM (#15088604)
Thank you very much. I checked Wikipedia for Knuth-Bendix and will try to get hold on the book.

There are no comments on this comment yet.