Z. G. Saribatur, T. Eiter:
"Omission-based Abstraction for Answer Set Programs (Extended Abstract)";
Talk: TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien; 2018-11-19 - 2018-11-20.
http://www.kr.tuwien.ac.at/events/taasp18/papers/TAASP_2018_paper_11.pdf