[Back]

Z. G. Saribatur, T. Eiter:
"Omission-based Abstraction for Answer Set Programs";
ArXiv, 2004 (2020), 01410; 52 pages.

https://arxiv.org/pdf/2004.01410.pdf