Keyword:grounding

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