TY - RPRT TI - Quantifying over Optimum Answer Sets AU - Giuseppe Mazzotta AU - Francesco Ricca AU - Mirek Truszczynski PY - 2024 DO - 10.1017/s1471068424000395 UR - https://arxiv.org/abs/2408.07697 ID - 2408.07697 ER -