Omission-based Abstraction for Answer Set Programs – ERRATUM. Issue 2 (9th March 2021) - SARIBATUR, ZEYNEP G.; EITER, THOMAS