General algorithms for permutations in equational inference - Avenhaus, Jürgen; Plaisted, David A. (1995)