@misc{indiciaeb4a777540bab, title = {Fast Inference for Probabilistic Answer Set Programs via the Residual Program}, author = {Damiano Azzolini and Fabrizio Riguzzi}, year = {2024}, doi = {10.1017/s1471068424000279}, url = {https://arxiv.org/abs/2408.07524}, note = {Source identifier: 2408.07524} }