@article{aparallelmemoryefficientepistemiclogic,
  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},
  eprint = {1608.06910},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1608.06910v2},
}