@misc{indiciae8b1d9edf928a,
  title = {Controlling the Depth, Size, and Number of Subtrees for Two-variable Logic on Trees},
  author = {Saguy Benaim and Michael Benedikt and Rastislav Lenhardt and James Worrell},
  year = {2013},
  url = {https://arxiv.org/abs/1304.6925},
  note = {Source identifier: 1304.6925}
}