Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates | Read Paper on Bytez