TY  - RPRT
TI  - A Decidable Fragment of Second Order Logic With Applications to Synthesis
AU  - P. Madhusudan
AU  - Umang Mathur
AU  - Shambwaditya Saha
AU  - Mahesh Viswanathan
PY  - 2018
DO  - 10.4230/lipics.csl.2018.31
UR  - https://arxiv.org/abs/1712.05513
ID  - 1712.05513
ER  -