@techreport{KM04,
  number="2004-16",
  month="December",
  title="Separability in Domain Semirings",
  author="Dexter Kozen and Bernhard M{\"o}ller",
  year="2004",
  institution="Universit{\"a}t Augsburg, Institut f{\"u}r Informatik"
}