Knuth–Bendix Completion Algorithmen.wikipedia.org3 points·yorwba··0 commentsOpen articleSaveView on HN