A Decidable Fragment of Second Order Logic With Applications to Synthesis.

P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan

Browse the full CSL paper archive.