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