Title: Untersuchung von Strategien für den Knuth-Bendix-Vervollständigungsalgorithmus
Subjects: Computer algorithms, Rewriting systems (Computer science)