Hanf normal form for first-order logic with unary counting quantifiers.

Lucas Heimberg, Dietrich Kuske, Nicole Schweikardt

Browse the full LICS paper archive.