C. Redl, “Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining”, AAAI, vol. 31, no. 1, Feb. 2017.