@misc{indiciae35f29de092f2, title = {A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming}, author = {Alice Tarzariol}, year = {2022}, doi = {10.4204/eptcs.364.35}, url = {https://arxiv.org/abs/2208.03095}, note = {Source identifier: 2208.03095} }