Steele, Adam (1989) Simplifying the Knuth-Bendix completion procedure for equational systems. Masters thesis, Concordia University.