Peter Höfner, Georg Struth: Non-termination in Idempotent Semirings. RelMiCS 2008: 206-220