@misc{BUT193138,
  author="Jan {Janoušek}",
  title="Arbology: Algorithms on Trees and Pushdown Automata",
  year="2010",
  pages="161",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/12542/",
  note="habilitation thesis"
}