@misc{indiciae362720af75da,
  title = {Two-Way Unary Temporal Logic over Trees},
  author = {Mikolaj Bojanczyk},
  year = {2009},
  doi = {10.2168/lmcs-5(3:5)2009},
  url = {https://arxiv.org/abs/0904.4119},
  note = {Source identifier: 0904.4119}
}