TY  - RPRT
TI  - The DLVHEX System for Knowledge Representation: Recent Advances (System Description)
AU  - Christoph Redl
PY  - 2016
UR  - https://arxiv.org/abs/1607.08864
ID  - 1607.08864
ER  -