TY  - RPRT
TI  - A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster
AU  - Patrick Thor Kahl
AU  - Anthony P. Leclerc
AU  - Tran Cao Son
PY  - 2016
UR  - https://arxiv.org/abs/1608.06910
ID  - 1608.06910
ER  -