General algorithms for permutations in equational inference - Avenhaus, Jürgen; Plaisted, David A. (Universität <Kaiserslautern> / SEKI-Projekt: SEKI-Report, 1995)