Z. G. Saribatur, T. Eiter:
"Omission-Based Abstraction for Answer Set Programs - ERRATUM";
TPLP - Theory and Practice of Logic Programming, 21 (2021), 2; S. 292.
http://dx.doi.org/10.1017/S1471068420000125Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_302771.pdf