L. Aceto, Z. Ésik, and A. Ingólfsdóttir, “Equational Theories of Tropical Semirings”, BRICS, vol. 8, no. 21, Jun. 2001.