(1)
Redl, C. Efficient Evaluation of Answer Set Programs With External Sources Based on External Source Inlining. AAAI 2017, 31.