TY  - RPRT
TI  - ASNP: a tame fragment of existential second-order logic
AU  - Manuel Bodirsky
AU  - Simon Knäuer
AU  - Florian Starke
PY  - 2020
UR  - https://arxiv.org/abs/2001.08190
ID  - 2001.08190
ER  -