Functional answer set programming | Publicación