Consistency for Counting Quantifiers.

Florent R. Madelaine, Barnaby Martin

Browse the full MFCS paper archive.