TY  - RPRT
TI  - Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory
AU  - Bart Bogaerts
AU  - Guy Van den Broeck
PY  - 2015
DO  - 10.1017/s1471068415000162
UR  - https://arxiv.org/abs/1507.06554
ID  - 1507.06554
ER  -