TY  - RPRT
TI  - First-order answer set programming as constructive proof search
AU  - Aleksy Schubert
AU  - Paweł Urzyczyn
PY  - 2018
UR  - https://arxiv.org/abs/1804.10004
ID  - 1804.10004
ER  -