Georg Struth: Knuth-Bendix Completion as a Data Structure. RelMiCS 2005: 225-236