Petrov А. А.; Mikheev Р. А. Computer Finding of Four-Element Multiplicatively Idempotent Semirings. Вест. ПГУ. Мат. Мех. Инф. 2022, 46-52.