Complexity of Clique-Guarded First-Order Logic with Counting.

Steffen van Bergerem, Johannes Friedrich Lange, Nicole Schweikardt

Browse the full MFCS paper archive.