General Algorithms for Permutations in Equational Inference Jürgen AvenhausDavid A. Plaisted OriginalPaper Pages: 223 - 268