Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic.

Luis Henrique Bustamante, Ana Teresa C. Martins, Francicleber Martins Ferreira

Browse the full WoLLIC paper archive.