TY - RPRT TI - A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming AU - Alice Tarzariol PY - 2022 DO - 10.4204/eptcs.364.35 UR - https://arxiv.org/abs/2208.03095 ID - 2208.03095 ER -