Knuth-Bendix Completion Visualizer
KBCV - Knuth-Bendix Completion Visualizer Webinterface 2.1.0.6 (15/03/17)
Sorry, this browser does not understand applets or they are not enabled.