TY  - RPRT
TI  - Beyond NP: Quantifying over Answer Sets
AU  - Giovanni Amendola
AU  - Francesco Ricca
AU  - Mirek Truszczynski
PY  - 2019
DO  - 10.1017/s1471068419000140
UR  - https://arxiv.org/abs/1907.09559
ID  - 1907.09559
ER  -