1. van Benthem, J., Icard, T.: Interleaving logic and counting. Bull. Symbol. Logic (2023)
2. Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L., Schwind, C.B.: Logiche non-classiche per la rappresentazione della conoscenza e il ragionamento. In: Il Milione: A Journey in the Computational Logic in Italy, pp. 76–81 (2008)
3. Hauschild, K.: Zum vergleich von härtigquantor und rescherquantor. Math. Log. Q. 27(16–17), 255–264 (1981)
4. Herre, H., Krynicki, M., Pinus, A., Väänänen, J.: The härtig quantifier: a survey. J. Symbol. Logic 56(4), 1153–1183 (1991)
5. Härtig, K.: Über einen quantifikator mit zwei wirkungsbereichen. In: Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, pp. 31–36 (1965)