CARREGANDO O RADAR…
The variety generated by all additively idempotent semirings of order four | Radar arXiv · portela.dev