C. Redl:
"Inlining External Sources in Answer Set Programs";
Theory and Practice of Logic Programming, 19 (2019), 3; 360 - 411.
https://publik.tuwien.ac.at/files/publik_273852.pdf
Project Head Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions