First-order logic with counting.

Dietrich Kuske, Nicole Schweikardt

Browse the full LICS paper archive.