*-Continuous Idempotent Left Semirings and Their Ideal Completion. - Hitoshi Furusawa; Fumiya Sanda (RelMiCS, 2009)