%0 Journal Article %1 journals/tplp/BogaertsB15 %A Bogaerts, Bart %A den Broeck, Guy Van %D 2015 %J Theory Pract. Log. Program. %K dblp %N 4-5 %P 464-480 %T Knowledge compilation of logic programs using approximation fixpoint theory. %U http://dblp.uni-trier.de/db/journals/tplp/tplp15.html#BogaertsB15 %V 15

@article{journals/tplp/BogaertsB15, added-at = {2020-02-13T00:00:00.000+0100}, author = {Bogaerts, Bart and den Broeck, Guy Van}, biburl = {https://www.bibsonomy.org/bibtex/2e7f69bedbed33a91792958184583baae/dblp}, ee = {https://doi.org/10.1017/S1471068415000162}, interhash = {9d68a45fdc54f6779276833adb9138f2}, intrahash = {e7f69bedbed33a91792958184583baae}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-5}, pages = {464-480}, timestamp = {2020-02-14T11:43:46.000+0100}, title = {Knowledge compilation of logic programs using approximation fixpoint theory.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp15.html#BogaertsB15}, volume = 15, year = 2015 }