Author:Matthias van der Hallen

Publications
EasyChair Preprint no. 392

Keyphrases

grounding, modelling languages, QBF, QDimacs, second-order logic.