TY - RPRT TI - An efficient solver for ASP(Q) AU - Wolfgang Faber AU - Giuseppe Mazzotta AU - Francesco Ricca PY - 2023 UR - https://arxiv.org/abs/2305.10021 ID - 2305.10021 ER -