TY - RPRT TI - A survey of advances in epistemic logic program solvers AU - Anthony P. Leclerc AU - Patrick Thor Kahl PY - 2018 UR - https://arxiv.org/abs/1809.07141 ID - 1809.07141 ER -