Autoepistemic answer set programming | Publicación