TY  - RPRT
TI  - Modeling Variations of First-Order Horn Abduction in Answer Set Programming
AU  - Peter Schüller
PY  - 2018
DO  - 10.3233/fi-2016-1446
UR  - https://arxiv.org/abs/1512.08899
ID  - 1512.08899
ER  -