Petrov Андрей Александрович, and Mikheev Роман Андреевич. 2022. “Computer Finding of Four-Element Multiplicatively Idempotent Semirings”. BULLETIN OF PERM UNIVERSITY. MATHEMATICS. MECHANICS. COMPUTER SCIENCE, no. 2 (57) (July):46-52. https://doi.org/10.17072/1993-0550-2022-2-46-52.