Aceto, L., Z. Ésik, and A. Ingólfsdóttir. “Equational Theories of Tropical Semirings”. BRICS Report Series, vol. 8, no. 21, June 2001, doi:10.7146/brics.v8i21.21682.