Daniel Krob The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable. 101-112 1992 conf/icalp/1992 ICALP db/conf/icalp/icalp92.html#Krob92 http://dx.doi.org/10.1007/3-540-55719-9_67