Redl, C. On Equivalence and Inconsistency of Answer Set Programs With External Sources. AAAI 2017, 31.