KBCV - Knuth-Bendix Completion Visualizer.

Thomas Sternagel, Harald Zankl

Browse the full CADE paper archive.