Madelaine, F., & Martin, B. (2018, August). Consistency for counting quantifiers. Presented at 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)., Liverpool, UK