@article{DesharnaisMoeller2001,
  author    = {Jules Desharnais and Bernhard M{\"o}ller},
  title     = {Characterizing determinacy in Kleene algebras},
  journal   = {Information Sciences},
  volume    = {139},
  number    = {3-4},
  pages     = {253 -- 273},
  doi       = {10.1016/s0020-0255(01)00168-2},
  year      = {2001},
}