"Consistency for Counting Quantifiers."

Florent R. Madelaine, Barnaby Martin (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics