@misc{indiciaecd1dc737dad6,
  title = {A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits},
  author = {Anselm Haak and Heribert Vollmer},
  year = {2017},
  doi = {10.1016/j.apal.2019.04.006},
  url = {https://arxiv.org/abs/1603.09531},
  note = {Source identifier: 1603.09531}
}