@incollection{Otto2006a,
  editor = {Z. Chatzidakis and P. Koepke and W. Pohlers},
  title = {Bisimulation invariance and finite models},
  publisher = {ASL},
  author = {Otto, Martin},
  series = {Lecture Notes in Logic},
  booktitle = {Logic Colloquium '02},
  year = {2006},
}