General Algorithms for Permutations in Equational Inference - Avenhaus, Jürgen; Plaisted, David A. (Journal of automated reasoning, 2001)
Keywords: Algorithms; Automated reasoning; Dealing; Gain; Inference; Permutations; Reasoning; Strategy