selp: A Single-Shot Epistemic Logic Program Solver | Read Paper on Bytez