Y. Shen, T. Eiter: "Evaluating Epistemic Negation in Answer Set Programming"; Report No. INFSYS RR-1843-15-04, 2015; 31 pages.
http://publik.tuwien.ac.at/files/PubDat_246238.pdf