C. Redl, “On Equivalence and Inconsistency of Answer Set Programs with External Sources”, AAAI, vol. 31, no. 1, Feb. 2017.