@misc{indiciae4271510a63db,
  title = {A Decidable Fragment of Second Order Logic With Applications to Synthesis},
  author = {P. Madhusudan and Umang Mathur and Shambwaditya Saha and Mahesh Viswanathan},
  year = {2018},
  doi = {10.4230/lipics.csl.2018.31},
  url = {https://arxiv.org/abs/1712.05513},
  note = {Source identifier: 1712.05513}
}