Batíková, B.; Kepka, T.; Nˇemec, P. A CONSTRUCTION OF CONGRUENCE-SIMPLE SEMIRINGS. IJPAM 2018, 40, 633-655.