@article{tplp/BogaertsV15,
author = {Bogaerts,Bart and {Van den Broeck}, Guy},
title = {Knowledge compilation of logic programs using approximation fixpoint theory},
journal = {Theory and Practice of Logic Programming},
volume = {15},
issue = {Special Issue 4-5},
month = {7},
year = {2015},
issn = {1475-3081},
pages = {464--480},
numpages = {17},
doi = {10.1017/S1471068415000162},
URL = {http://journals.cambridge.org/article_S1471068415000162},
}