@article{Otto2004a,
  year = {2004},
  volume = {130},
  author = {Otto, Martin},
  journal = {Annals of Pure and Applied Logic},
  pages = {173-205},
  title = {Modal and guarded characterisation theorems over finite transition
           systems},
}