TY  - RPRT
TI  - LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories
AU  - Wolf De Wulf
AU  - Bart Bogaerts
PY  - 2020
DO  - 10.4204/eptcs.325.25
UR  - https://arxiv.org/abs/2009.10248
ID  - 2009.10248
ER  -