1. M. Aschenbrenner, A. Dolich, D. Haskell, D. Macpherson and S. Starchenko: Vapnik-Chervonenkis density in some theories without the inde-pendence property, I, Trans. AMS
368 (2016), 5889–5949.
2. A. Barvinok and K. Woods: Short rational generating functions for lattice point problems, Jour. AMS
16 (2003), 957–979.
3. A. Chernikov: Models theory and combinatorics, course notes, UCLA; available electronically at https://tinyurl.com/y8ob6uyv.
4. M. J. Fischer and M. O. Rabin: Super-Exponential Complexity of Presburger Arithmetic, in: Proc. SIAM-AMS Symposium in Applied Mathematics, AMS, Providence, RI, 1974, 27–41.
5. M. Karpinski and A. Macintyre: Polynomial bounds for VC dimension of sigmoidal and general Pfaffian neural networks, J. Comput. System Sci.
54 (1997), 169–176.