@misc{indiciae27cffc9edc92, title = {LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories}, author = {Wolf De Wulf and Bart Bogaerts}, year = {2020}, doi = {10.4204/eptcs.325.25}, url = {https://arxiv.org/abs/2009.10248}, note = {Source identifier: 2009.10248} }