%0 Journal Article %1 journals/corr/KahlLS16 %A Kahl, Patrick Thor %A Leclerc, Anthony P. %A Son, Tran Cao %D 2016 %J CoRR %K dblp %T A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster. %U http://dblp.uni-trier.de/db/journals/corr/corr1608.html#KahlLS16 %V abs/1608.06910

@article{journals/corr/KahlLS16, added-at = {2018-08-13T00:00:00.000+0200}, author = {Kahl, Patrick Thor and Leclerc, Anthony P. and Son, Tran Cao}, biburl = {https://www.bibsonomy.org/bibtex/2e4ce1633e55fcfbfb930282be711d1d9/dblp}, ee = {http://arxiv.org/abs/1608.06910}, interhash = {010cac6b529dbf5cde8b405b60cd6b24}, intrahash = {e4ce1633e55fcfbfb930282be711d1d9}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:30:10.000+0200}, title = {A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1608.html#KahlLS16}, volume = {abs/1608.06910}, year = 2016 }