Subdirect product decompositions of additively regular semirings. - Xuliang Xian; Yong Shao (Soft Comput., 2024)