Eiter, et al.. Dlvhex: A Prover for Semantic-web Reasoning Under the Answer-set Semantics. IEEE, 2006, doi:10.1109/wi.2006.64.