@misc{indiciae459625aedea5, title = {The DLVHEX System for Knowledge Representation: Recent Advances (System Description)}, author = {Christoph Redl}, year = {2016}, url = {https://arxiv.org/abs/1607.08864}, note = {Source identifier: 1607.08864} }