Keyword:second-order logic

Papers
A Grounder From Second-Order Logic To QBF Matthias van der Hallen and Gerda Janssens EasyChair Preprint no. 392