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

P. Madhusudan et al. (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics