@incollection{Otto2013b,
  editor = {K.~Lodaya},
  title = {Bisimulation and coverings for graphs and hypergraphs},
  pages = {5-16},
  author = {Otto, Martin},
  publisher = {Springer},
  year = {2013},
  booktitle = {Logic and Its Applications},
  volume = {7750},
  series = {Lecture Notes in Computer Science},
}