Semantics and Compilation of Answer Set Programming with Generalized Atoms | Read Paper on Bytez