@techreport{Otto2004b,
  title = {Elementary proof of the {van Benthem-Rosen} characterisation
           theorem},
  institution = {Department of Mathematics, Technische Universit{\"a}t
                 Darmstadt},
  number = {2342},
  year = {2004},
  author = {Otto, Martin},
}