@misc{indiciae9f26e714f592,
  title = {Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees},
  author = {Amélie Gheerbrant and Balder ten Cate},
  year = {2012},
  doi = {10.2168/lmcs-8(4:12)2012},
  url = {https://arxiv.org/abs/1210.2620},
  note = {Source identifier: 1210.2620}
}