selp: A Single-Shot Epistemic Logic Program Solver. - BICHLER, MANUEL; MORAK, MICHAEL; WOLTRAN, STEFAN (Theory & Practice of Logic Programming, 2020)