@misc{indiciae2024ddd97610,
  title = {ASNP: a tame fragment of existential second-order logic},
  author = {Manuel Bodirsky and Simon Knäuer and Florian Starke},
  year = {2020},
  url = {https://arxiv.org/abs/2001.08190},
  note = {Source identifier: 2001.08190}
}