@misc{indiciae01fbe8f3f2e1, title = {A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster}, author = {Patrick Thor Kahl and Anthony P. Leclerc and Tran Cao Son}, year = {2016}, url = {https://arxiv.org/abs/1608.06910}, note = {Source identifier: 1608.06910} }