https://9lib.org/document/y6e9l935-clifford-semiring-congruences-additive-regular-semiring.html