Context

Context of Complete sets of reductions modulo A class of equational theories which generate infinite congruence classes, by Timothy B. Baird
Processing Feedback ...