Volkov, Sergey. (2016). "Finite Bases with Respect to the Superposition in Classes of Elementary Recursive Functions, dissertation". arXiv:1611.04843 [cs.CC].
Hesse, William (2001), Orejas, Fernando; Spirakis, Paul G.; van Leeuwen, Jan (eds.), "Division Is In Uniform TC0", Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 2076, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 104–114, doi:10.1007/3-540-48224-5_9, ISBN978-3-540-42287-7, retrieved 2025-03-19
Allender, E. (1996). "A note on uniform circuit lower bounds for the counting hierarchy". Proceedings 2nd International Computing and Combinatorics Conference (COCOON). Springer Lecture Notes in Computer Science. Vol. 1090. pp. 127–135. As cited in Burtschick, Hans-Jörg; Vollmer, Heribert (1998). "Lindström quantifiers and leaf language definability". International Journal of Foundations of Computer Science. 9 (3): 277–294. doi:10.1142/S0129054198000180. ECCCTR96-005.
Hesse, William (2001), Orejas, Fernando; Spirakis, Paul G.; van Leeuwen, Jan (eds.), "Division Is In Uniform TC0", Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 2076, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 104–114, doi:10.1007/3-540-48224-5_9, ISBN978-3-540-42287-7, retrieved 2025-03-19
Allender, E. (1996). "A note on uniform circuit lower bounds for the counting hierarchy". Proceedings 2nd International Computing and Combinatorics Conference (COCOON). Springer Lecture Notes in Computer Science. Vol. 1090. pp. 127–135. As cited in Burtschick, Hans-Jörg; Vollmer, Heribert (1998). "Lindström quantifiers and leaf language definability". International Journal of Foundations of Computer Science. 9 (3): 277–294. doi:10.1142/S0129054198000180. ECCCTR96-005.