@inproceedings{madhusudan2018decidablefra,
 author = {P. Madhusudan and Umang Mathur and Shambwaditya Saha and Mahesh Viswanathan},
 booktitle = {CSL 2018},
 title = {Decidable Fragment of Second Order Logic With Applications to Program Synthesis},
 url = {https://umangmathur.org/papers/eqsmt-csl2018.pdf},
 year = {2018}
}