Agnès Bonnier-Rigny Daniel Krob A Complete System of Identities for One-Letter Rational Expressions with Multiplicities in the Tropical Semiring. 27-50 1994 134 Theor. Comput. Sci. 1 db/journals/tcs/tcs134.html#Bonnier-RignyK94