TY  - RPRT
TI  - selp: A Single-Shot Epistemic Logic Program Solver
AU  - Manuel Bichler
AU  - Michael Morak
AU  - Stefan Woltran
PY  - 2020
UR  - https://arxiv.org/abs/2001.01089
ID  - 2001.01089
ER  -