By a commutative semiring we mean a semiring in which both addition and multiplication are commutative. A semiring S is congruence-free iff the only congruences on S are S × S and the identity congruence. In this thesis ...