"Axiomatizing Tropical Semirings."

Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics