Separability in domain semirings (Inst. für Informatik, 2004)