@misc{indiciaea2a9c0d888d9,
  title = {Partially Ordered Two-way Büchi Automata},
  author = {Manfred Kufleitner and Alexander Lauser},
  year = {2011},
  doi = {10.1007/978-3-642-18098-9\_20},
  url = {https://arxiv.org/abs/1006.2719},
  note = {Source identifier: 1006.2719}
}