Andrea Sattler-Klein. Phänomene der Knuth-Bendix Vervollständigung. In Wolfgang Bibel, Herbert Fiedler, Werner Grass, Peter Gorny, Günter Hotz, Immo O. Kerner, Rüdiger Reischuk, Friedrich Roithmayr, editors, Ausgezeichnete Informatikdissertationen 1996. pages 95-113, Vieweg+Teubner Verlag, 1996. [doi]
Abstract is missing.