B. Batíková, T. Kepka, and P. Nˇemec, “A CONSTRUCTION OF CONGRUENCE-SIMPLE SEMIRINGS”, IJPAM, vol. 40, pp. 633–655, Jul. 2018.