## General Algorithms for Permutations in Equational Inference

• We study some general algorithms for processing permutations and permu-tation groups and consider their application to equational reasoning and term-rewriting systems. We also present some complexity results for particular equa-tional consequence problems related to permutations.

$Rev: 13581$