ANTHEM 2.0: Automated Reasoning for Answer Set Programming | Publicación